diff -r a48bf0d3a790 -r 55e2f7712e87 Makefile
--- a/Makefile	Tue Oct 28 18:54:30 2008 +0100
+++ b/Makefile	Thu Oct 30 17:13:33 2008 +0000
@@ -15,6 +15,8 @@
 	$(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
 
 html: $(PNG_IMAGES)
+	-mkdir gen-dox
+	./titlegen.py
 	doxygen Doxyfile
 
 clean: