diff -r 8296acd119a9 -r 922873e5b409 doc/manual/Makefile
--- a/doc/manual/Makefile	Wed Jul 15 09:36:36 2009 +0200
+++ b/doc/manual/Makefile	Wed Jul 15 15:32:22 2009 +0200
@@ -34,5 +34,4 @@
 	pdflatex manual.tex && \
 	pdflatex manual.tex && \
 	cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \
-	latex2html -split 0 -dir html manual.tex && \
-	xpdf manual.pdf
+	latex2html -split 0 -dir html manual.tex