1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c32b0b7ec..c3f2eb44a 100644
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ all: build-program
 
 # Document process rules.
 %.html: % $(MAIN)
-	./$(MAIN) -s $< >$@ || rm -f $@
+	./$(MAIN) -s -S --toc $< >$@ || rm -f $@
 %.tex: % $(MAIN)
 	./$(MAIN) -s -w latex $< >$@ || rm -f $@
 %.rtf: % $(MAIN)