changeset 208 | 05d95c45b388 |
parent 207 | b6572d0336c3 |
child 210 | 6b5a4c21e061 |
--- 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