1.1 --- a/docs/Makefile	Tue Oct 26 14:12:48 2004 +0000
     1.2 +++ b/docs/Makefile	Tue Oct 26 14:32:37 2004 +0000
     1.3 @@ -45,5 +45,5 @@ ps/%.ps: %.dvi $(GFX)
     1.4  
     1.5  html/%/index.html: src/%.tex
     1.6  	mkdir -p html/$*
     1.7 -	latex2html -split 0 -nonavigation -noinfo -math -dir html/$* $< \
     1.8 -	1>/dev/null 2>/dev/null
     1.9 +	latex2html -split 0 -show_section_numbers -toc_depth 3 -nonavigation \
    1.10 +	-noinfo -math -dir html/$* $< 1>/dev/null 2>/dev/null