Makefile
changeset 2 ddbc7cbd83f7
parent 1 81355bae626f
child 6 98879feeb993
--- 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=$@ $<