1.1 --- a/Makefile	Tue Oct 28 18:54:30 2008 +0100
     1.2 +++ b/Makefile	Thu Oct 30 17:13:33 2008 +0000
     1.3 @@ -15,6 +15,8 @@
     1.4  	$(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
     1.5  
     1.6  html: $(PNG_IMAGES)
     1.7 +	-mkdir gen-dox
     1.8 +	./titlegen.py
     1.9  	doxygen Doxyfile
    1.10  
    1.11  clean: