1 |
commit: f40a7695d8e3107e5a61704ac558b5eb80951aa9 |
2 |
Author: Mark Wright <gienah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Mar 28 13:35:22 2022 +0000 |
4 |
Commit: Mark Wright <gienah <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Mar 28 13:42:14 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f40a7695 |
7 |
|
8 |
sci-mathematics/twelf: emake -j1 is sufficient to fix doc build |
9 |
|
10 |
Revert the previous change to twelf-1.7.1-doc-guide-Makefile.patch, |
11 |
as the emake -j1 is sufficient to fix the doc build. |
12 |
|
13 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
14 |
Signed-off-by: Mark Wright <gienah <AT> gentoo.org> |
15 |
|
16 |
sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch | 8 ++------ |
17 |
1 file changed, 2 insertions(+), 6 deletions(-) |
18 |
|
19 |
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch |
20 |
index a63735cbe917..092b12b20dc0 100644 |
21 |
--- a/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch |
22 |
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch |
23 |
@@ -1,6 +1,6 @@ |
24 |
--- twelf-orig/doc/guide/Makefile 2002-09-24 13:59:23.000000000 +1000 |
25 |
-+++ twelf/doc/guide/Makefile 2022-03-27 16:45:03.547456767 +1100 |
26 |
-@@ -38,10 +38,12 @@ |
27 |
++++ twelf/doc/guide/Makefile 2012-12-10 00:51:02.758835185 +1100 |
28 |
+@@ -38,8 +38,8 @@ |
29 |
|
30 |
twelf_toc.html : twelf.texi; |
31 |
@echo "---------- Creating HTML: twelf_*.html" |
32 |
@@ -10,8 +10,4 @@ |
33 |
+# $(texi2html) -check *.html; |
34 |
|
35 |
twelf.pdf : twelf.texi; |
36 |
-+ @echo "---------- Removing old files: twelf.{aux,log}" |
37 |
-+ rm -f twelf.{aux,log}; |
38 |
@echo "---------- Creating unindexed PDF: twelf.pdf" |
39 |
- $(pdftex) twelf.texi; |
40 |
- @echo "---------- Creating index twelf.cps" |