7 $(EPS_IMAGES:%.eps=gen-images/%.png)
9 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
13 $(EPS_IMAGES18:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps
15 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
27 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \
28 mv libstdc++.tag.tmp libstdc++.tag || \
30 wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/1.0/lemon.tag && \
31 mv lemon.tag.tmp lemon.tag || \
34 .PHONY: update-external-tags html