diff -r 7fedc55c14d5 -r d328d0d9b88e doc/manual/Makefile
--- a/doc/manual/Makefile	Thu Aug 02 14:20:52 2007 +0200
+++ b/doc/manual/Makefile	Mon Aug 06 17:56:07 2007 +0200
@@ -34,5 +34,5 @@
 	pdflatex manual.tex && \
 	pdflatex manual.tex && \
 	cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \
-	latex2html -dir html manual.tex && \
+	latex2html -split 0 -dir html manual.tex && \
 	xpdf manual.pdf