--- 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"