diff options
| author | Wesley Shields <wxs@FreeBSD.org> | 2009-04-11 03:00:02 +0000 |
|---|---|---|
| committer | Wesley Shields <wxs@FreeBSD.org> | 2009-04-11 03:00:02 +0000 |
| commit | 0ece797080aa750f30d29eb272ebedba32435a0b (patch) | |
| tree | 02506e363d466942a41d9019c3c13c3cf2eea1dc /lang/twelf/files/patch-doc-guide-Makefile | |
| parent | f9c525958bf56af8cd958ac259643d35489a636e (diff) | |
| download | ports-0ece797080aa750f30d29eb272ebedba32435a0b.tar.gz ports-0ece797080aa750f30d29eb272ebedba32435a0b.zip | |
Notes
Diffstat (limited to 'lang/twelf/files/patch-doc-guide-Makefile')
| -rw-r--r-- | lang/twelf/files/patch-doc-guide-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/twelf/files/patch-doc-guide-Makefile b/lang/twelf/files/patch-doc-guide-Makefile new file mode 100644 index 000000000000..74b33913e7e4 --- /dev/null +++ b/lang/twelf/files/patch-doc-guide-Makefile @@ -0,0 +1,11 @@ +--- doc/guide/Makefile.orig 2009-02-08 13:47:36.000000000 -0500 ++++ doc/guide/Makefile 2009-02-08 13:23:38.000000000 -0500 +@@ -39,7 +39,7 @@ + twelf_toc.html : twelf.texi; + @echo "---------- Creating HTML: twelf_*.html" + $(texi2html) -menu -number -split_chapter twelf.texi; +- $(texi2html) -check *.html; ++# $(texi2html) -check *.html; + + twelf.pdf : twelf.texi; + @echo "---------- Creating unindexed PDF: twelf.pdf" |