Makefile.in
changeset 40 e1725bb7e821
parent 35 f7a4e8024952
child 41 73fdafd843d9
     1.1 --- a/Makefile.in	Sun Feb 21 15:07:59 2010 +0100
     1.2 +++ b/Makefile.in	Sun Feb 21 18:34:28 2010 +0100
     1.3 @@ -2,8 +2,13 @@
     1.4  
     1.5  EPS_IMAGES18 =
     1.6  
     1.7 +EPS_IMAGES27 = \
     1.8 +	splitnodes1.eps \
     1.9 +	splitnodes2.eps
    1.10 +
    1.11  EPS_IMAGES = \
    1.12 -	$(EPS_IMAGES18)
    1.13 +	$(EPS_IMAGES18) \
    1.14 +	$(EPS_IMAGES27)
    1.15  
    1.16  PNG_IMAGES = \
    1.17  	$(EPS_IMAGES:%.eps=gen-images/%.png)
    1.18 @@ -18,6 +23,10 @@
    1.19  	-mkdir -p gen-images
    1.20  	$(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<
    1.21  
    1.22 +$(EPS_IMAGES27:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps
    1.23 +	-mkdir -p gen-images
    1.24 +	$(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $<
    1.25 +
    1.26  html: Doxyfile-gen $(PNG_IMAGES)
    1.27  	-mkdir -p gen-dox
    1.28  	./scripts/titlegen.py