diff options
| author |   Mark Wright <gienah@gentoo.org> | 2022-03-29 00:35:22 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2022-03-29 00:42:14 +1100 |
| commit | f40a7695d8e3107e5a61704ac558b5eb80951aa9 (patch) | |
| tree | 5bf8f7910e3adf6a381a5b9415068299639cb776 /sci-mathematics/twelf | |
| parent | media-libs/vulkan-layers: Remove unused var (diff) | |
| download | gentoo-f40a7695d8e3107e5a61704ac558b5eb80951aa9.tar.gz gentoo-f40a7695d8e3107e5a61704ac558b5eb80951aa9.tar.bz2 gentoo-f40a7695d8e3107e5a61704ac558b5eb80951aa9.zip | |
sci-mathematics/twelf: emake -j1 is sufficient to fix doc build
Revert the previous change to twelf-1.7.1-doc-guide-Makefile.patch,
as the emake -j1 is sufficient to fix the doc build.
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'sci-mathematics/twelf')
| -rw-r--r-- | sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch | 8 |
1 files changed, 2 insertions, 6 deletions
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 index a63735cbe917..092b12b20dc0 100644 --- 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 @@ -1,6 +1,6 @@ --- twelf-orig/doc/guide/Makefile 2002-09-24 13:59:23.000000000 +1000 -+++ twelf/doc/guide/Makefile 2022-03-27 16:45:03.547456767 +1100 -@@ -38,10 +38,12 @@ ++++ twelf/doc/guide/Makefile 2012-12-10 00:51:02.758835185 +1100 +@@ -38,8 +38,8 @@ twelf_toc.html : twelf.texi; @echo "---------- Creating HTML: twelf_*.html" @@ -10,8 +10,4 @@ +# $(texi2html) -check *.html; twelf.pdf : twelf.texi; -+ @echo "---------- Removing old files: twelf.{aux,log}" -+ rm -f twelf.{aux,log}; @echo "---------- Creating unindexed PDF: twelf.pdf" - $(pdftex) twelf.texi; - @echo "---------- Creating index twelf.cps" |