1.1 --- a/it/Makefile	Mon Aug 17 01:53:50 2009 +0200
     1.2 +++ b/it/Makefile	Tue Aug 18 17:19:30 2009 +0200
     1.3 @@ -58,3 +58,35 @@
     1.4  clean:
     1.5  	rm -f $(web-local)/index-read.html.in
     1.6  	rm -rf $(obj-web)
     1.7 +
     1.8 +image-folder := figs
     1.9 +# graphs, figures, screenshots
    1.10 +image-files := $(wildcard $(image-folder)/*.dot $(image-folder)/*.svg $(image-folder)/*.png)
    1.11 +# graphs
    1.12 +image-dot := $(filter %.dot, $(image-files))
    1.13 +# figures
    1.14 +image-svg := $(filter %.svg, $(image-files))
    1.15 +# screenshots
    1.16 +image-png := $(filter %.png, $(image-files))
    1.17 +
    1.18 +figs-folder := examples/figs
    1.19 +figs-web := \
    1.20 +	$(image-dot:$(image-folder)/%.dot=$(figs-folder)/%.png) \
    1.21 +	$(image-svg:$(image-folder)/%.svg=$(figs-folder)/%.png) \
    1.22 +	$(image-png:$(image-folder)/%.png=$(figs-folder)/%.png)
    1.23 +
    1.24 +figs: $(figs-web)
    1.25 +
    1.26 +#$(figs-folder)/%.png: $(image-folder)/%.png $(image-folder)/%.svg
    1.27 +$(figs-folder)/%.png: $(image-folder)/%.svg
    1.28 +	inkscape -D -d 120 -e $@ $<
    1.29 +
    1.30 +$(figs-folder)/%.png: $(figs-folder)/%.svg
    1.31 +	inkscape -D -d 120 -e $@ $<
    1.32 +	rm $<
    1.33 +
    1.34 +$(figs-folder)/%.png: $(image-folder)/%.png
    1.35 +	cp $< $@
    1.36 +
    1.37 +$(figs-folder)/%.svg: $(image-folder)/%.dot
    1.38 +	dot -Tsvg -o $@ $<