Makefile.in
changeset 41 73fdafd843d9
parent 40 e1725bb7e821
child 52 ae47b3ec42d3
     1.1 --- a/Makefile.in	Sun Feb 21 18:34:28 2010 +0100
     1.2 +++ b/Makefile.in	Sun Feb 21 19:02:08 2010 +0100
     1.3 @@ -2,13 +2,18 @@
     1.4  
     1.5  EPS_IMAGES18 =
     1.6  
     1.7 -EPS_IMAGES27 = \
     1.8 +EPS_IMAGES27 =
     1.9 +
    1.10 +EPS_IMAGES36 = \
    1.11 +	adaptors1.eps \
    1.12 +	adaptors2.eps \
    1.13  	splitnodes1.eps \
    1.14  	splitnodes2.eps
    1.15  
    1.16  EPS_IMAGES = \
    1.17  	$(EPS_IMAGES18) \
    1.18 -	$(EPS_IMAGES27)
    1.19 +	$(EPS_IMAGES27) \
    1.20 +	$(EPS_IMAGES36)
    1.21  
    1.22  PNG_IMAGES = \
    1.23  	$(EPS_IMAGES:%.eps=gen-images/%.png)
    1.24 @@ -27,6 +32,10 @@
    1.25  	-mkdir -p gen-images
    1.26  	$(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $<
    1.27  
    1.28 +$(EPS_IMAGES36:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps
    1.29 +	-mkdir -p gen-images
    1.30 +	$(GS_COMMAND) -sDEVICE=pngalpha -r36 -sOutputFile=$@ $<
    1.31 +
    1.32  html: Doxyfile-gen $(PNG_IMAGES)
    1.33  	-mkdir -p gen-dox
    1.34  	./scripts/titlegen.py