1.1 --- a/Makefile.in	Mon Mar 01 02:30:00 2010 +0100
     1.2 +++ b/Makefile.in	Thu Apr 08 09:20:19 2010 +0200
     1.3 @@ -38,15 +38,26 @@
     1.4  
     1.5  html: Doxyfile-gen $(PNG_IMAGES)
     1.6  	-mkdir -p gen-dox
     1.7 +	-mkdir -p gen-pdf-dox
     1.8  	./scripts/titlegen.py
     1.9  	doxygen Doxyfile
    1.10  
    1.11 +pdf: Doxyfile-gen $(PNG_IMAGES)
    1.12 +	-mkdir -p gen-dox
    1.13 +	-mkdir -p gen-pdf-dox
    1.14 +	./scripts/titlegen.py	
    1.15 +	doxygen DoxyfilePdf
    1.16 +	make -C latex
    1.17 +
    1.18  demos: $(DEMOS)
    1.19  
    1.20  Doxyfile-gen:
    1.21  	sed -e 's/@version@/'`./scripts/chg-len.py`'/g' \
    1.22  	    -e 's/@lemon_doc_prefix@/@make_lemon_doc_prefix@/g' \
    1.23  	< Doxyfile.in >Doxyfile
    1.24 +	sed -e 's/@version@/'`./scripts/chg-len.py`'/g' \
    1.25 +	    -e 's/@lemon_doc_prefix@/@make_lemon_doc_prefix@/g' \
    1.26 +	< DoxyfilePdf.in >DoxyfilePdf
    1.27  
    1.28  clean:
    1.29  	-rm -rf html