diff -r ed4c8506e151 -r 0b3b26cd1cea Makefile
--- a/Makefile	Mon Nov 03 23:46:30 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-EPS_IMAGES18 =
-
-EPS_IMAGES = \
-	$(EPS_IMAGES18)
-
-PNG_IMAGES = \
-	$(EPS_IMAGES:%.eps=gen-images/%.png)
-
-GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
-
-all: html
-
-$(EPS_IMAGES18:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps
-	-mkdir gen-images
-	$(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
-
-html: $(PNG_IMAGES)
-	-mkdir gen-dox
-	./titlegen.py
-	doxygen Doxyfile
-
-clean:
-	-rm -rf html
-	-rm -f doxygen.log
-	-rm -f $(PNG_IMAGES)
-	-rm -rf gen-images
-
-update-external-tags:
-	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \
-	mv libstdc++.tag.tmp libstdc++.tag || \
-	rm libstdc++.tag.tmp
-	wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/1.0/lemon.tag && \
-	mv lemon.tag.tmp lemon.tag || \
-	rm lemon.tag.tmp
-
-.PHONY: update-external-tags html