diff -r 000000000000 -r b98bb7ed37e9 Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Wed Jun 25 21:53:38 2008 +0200
@@ -0,0 +1,34 @@
+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)
+	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++/latest-doxygen/libstdc++.tag && \
+	mv libstdc++.tag.tmp libstdc++.tag || \
+	rm libstdc++.tag.tmp
+	wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/latest/lemon.tag && \
+	mv lemon.tag.tmp lemon.tag || \
+	rm lemon.tag.tmp
+
+.PHONY: update-external-tags html