diff -r b6572d0336c3 -r 05d95c45b388 Makefile.in
--- a/Makefile.in	Mon Jun 04 17:59:50 2007 +0200
+++ b/Makefile.in	Tue Jun 05 16:41:38 2007 +0200
@@ -30,6 +30,13 @@
 	echo Doxygen generation!!
 	doxygen doc/doxygen/Doxyfile
 
+manual:
+	cd doc/manual/en && \
+	pdflatex manual.tex && \
+	pdflatex manual.tex && \
+	rm manual.aux manual.log manual.out manual.toc && \
+	xpdf manual.pdf
+
 objdictgen:
 	$(MAKE) -C objdictgen all