Makefile.in
changeset 210 6b5a4c21e061
parent 208 05d95c45b388
child 253 bf58ce630b88
--- a/Makefile.in	Tue Jun 05 17:34:33 2007 +0200
+++ b/Makefile.in	Tue Jun 05 18:43:21 2007 +0200
@@ -26,16 +26,11 @@
 examples: canfestival driver
 	$(MAKE) -C examples all
 
-documentation: 
-	echo Doxygen generation!!
-	doxygen doc/doxygen/Doxyfile
+documentation:
+	$(MAKE) -C doc/doxygen
 
 manual:
-	cd doc/manual/en && \
-	pdflatex manual.tex && \
-	pdflatex manual.tex && \
-	rm manual.aux manual.log manual.out manual.toc && \
-	xpdf manual.pdf
+	$(MAKE) -C doc/manual
 
 objdictgen:
 	$(MAKE) -C objdictgen all