diff options
-rw-r--r-- | docs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 9a76127a18..ed7a1d3575 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -45,5 +45,5 @@ ps/%.ps: %.dvi $(GFX) html/%/index.html: src/%.tex mkdir -p html/$* - latex2html -split 0 -nonavigation -noinfo -math -dir html/$* $< \ - 1>/dev/null 2>/dev/null + latex2html -split 0 -show_section_numbers -toc_depth 3 -nonavigation \ + -noinfo -math -dir html/$* $< 1>/dev/null 2>/dev/null |