Makefile
changeset 0 b98bb7ed37e9
child 8 4b3d55acc9d7
equal deleted inserted replaced
-1:000000000000 0:f0b37b880911
       
     1 EPS_IMAGES18 =
       
     2 
       
     3 EPS_IMAGES = \
       
     4 	$(EPS_IMAGES18)
       
     5 
       
     6 PNG_IMAGES = \
       
     7 	$(EPS_IMAGES:%.eps=gen-images/%.png)
       
     8 
       
     9 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
       
    10 
       
    11 all: html
       
    12 
       
    13 $(EPS_IMAGES18:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps
       
    14 	-mkdir gen-images
       
    15 	$(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
       
    16 
       
    17 html: $(PNG_IMAGES)
       
    18 	doxygen Doxyfile
       
    19 
       
    20 clean:
       
    21 	-rm -rf html
       
    22 	-rm -f doxygen.log
       
    23 	-rm -f $(PNG_IMAGES)
       
    24 	-rm -rf gen-images
       
    25 
       
    26 update-external-tags:
       
    27 	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
       
    28 	mv libstdc++.tag.tmp libstdc++.tag || \
       
    29 	rm libstdc++.tag.tmp
       
    30 	wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/latest/lemon.tag && \
       
    31 	mv lemon.tag.tmp lemon.tag || \
       
    32 	rm lemon.tag.tmp
       
    33 
       
    34 .PHONY: update-external-tags html