blob: 092b12b20dc0652e3e8719caffa3a65b82c4bfb5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- twelf-orig/doc/guide/Makefile 2002-09-24 13:59:23.000000000 +1000
+++ 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"
- $(texi2html) -menu -number -split_chapter twelf.texi;
- $(texi2html) -check *.html;
+ $(texi2html) -menu -number-sections -split_chapter twelf.texi;
+# $(texi2html) -check *.html;
twelf.pdf : twelf.texi;
@echo "---------- Creating unindexed PDF: twelf.pdf"
|
GitWeb
