diff options
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 3773fea..efad60d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -196,7 +196,7 @@ om: doc: doc/refman.pdf doc/refman.html doc/refman.html: - (cd doc; latex2html refman.tex; cp -f *.png refman/ ) + (cd doc; latex2html -split 4 -show_section_numbers -local_icons refman.tex; cp -f *.png refman/ ) doc/refman.pdf: doc/refman.tex (cd doc; \ |