11 lines
419 B
Text
11 lines
419 B
Text
--- 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"
|