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