diff -r 81355bae626f -r ddbc7cbd83f7 Makefile --- a/Makefile Thu Mar 26 11:12:42 2015 +0100 +++ b/Makefile Fri Mar 27 14:23:04 2015 +0100 @@ -6,6 +6,9 @@ date = ${shell date -I} revision = "${shell hg id -tibB}" +dia = ${wildcard dia/*dia} +png = ${dia:.dia=.png} + .PHONY: all clean distclean @@ -14,8 +17,13 @@ distclean: ${clean} rm -f ${html} rmdir ${dir ${html}} + rm -f dia/*.png -${html}: ${txt} +${html}: ${txt} ${png} @mkdir -p ${dir $@} asciidoc -a lang=de -a data-uri -a icons -a date=${date} \ -a revision=$(revision) -o $@ ${txt} + +dia/%.png: dia/%.dia + @mkdir -p ${dir $@} + dia --export=$@ $<