1 files changed, 0 insertions, 13 deletions
diff --git a/sci-mathematics/acl2/files/acl2-use_make_variable.patch b/sci-mathematics/acl2/files/acl2-use_make_variable.patch
deleted file mode 100644
index 32e0f05da..000000000
--- a/sci-mathematics/acl2/files/acl2-use_make_variable.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-use make variable to avoid QA issue: "make[1]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule"
-
---- a/GNUmakefile
-+++ b/GNUmakefile
-@@ -576,7 +576,7 @@ doc/home-page.html: doc/home-page.lisp
- # xdoc::save that populates doc/manual/ (not under books/).
- acl2-manual: check-books
- 	rm -rf doc/manual books/system/doc/acl2-manual.cert
--	cd books ; make USE_QUICKLISP=1 system/doc/acl2-manual.cert
-+	cd books ; $(MAKE) USE_QUICKLISP=1 system/doc/acl2-manual.cert
- 	rm -rf doc/manual/download/*
- 
- # WARNING: The dependency list just below isn't complete, since it