diff options
Diffstat (limited to 'sci-mathematics')
| -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" |