diff -r e1725bb7e821 -r 73fdafd843d9 Makefile.in --- a/Makefile.in Sun Feb 21 18:34:28 2010 +0100 +++ b/Makefile.in Sun Feb 21 19:02:08 2010 +0100 @@ -2,13 +2,18 @@ EPS_IMAGES18 = -EPS_IMAGES27 = \ +EPS_IMAGES27 = + +EPS_IMAGES36 = \ + adaptors1.eps \ + adaptors2.eps \ splitnodes1.eps \ splitnodes2.eps EPS_IMAGES = \ $(EPS_IMAGES18) \ - $(EPS_IMAGES27) + $(EPS_IMAGES27) \ + $(EPS_IMAGES36) PNG_IMAGES = \ $(EPS_IMAGES:%.eps=gen-images/%.png) @@ -27,6 +32,10 @@ -mkdir -p gen-images $(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $< +$(EPS_IMAGES36:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps + -mkdir -p gen-images + $(GS_COMMAND) -sDEVICE=pngalpha -r36 -sOutputFile=$@ $< + html: Doxyfile-gen $(PNG_IMAGES) -mkdir -p gen-dox ./scripts/titlegen.py