equal
deleted
inserted
replaced
18 rm -f ${html} |
18 rm -f ${html} |
19 rmdir ${dir ${html}} |
19 rmdir ${dir ${html}} |
20 rm -f dia/*.png |
20 rm -f dia/*.png |
21 |
21 |
22 ${html}: ${txt} ${png} |
22 ${html}: ${txt} ${png} |
23 @mkdir -p ${dir $@} |
23 @mkdir -p ${dir $@} |
24 asciidoc -a lang=de -a data-uri -a icons -a date=${date} \ |
24 asciidoc -a lang=de -a data-uri -a icons -a date=${date} \ |
25 -a revision=$(revision) -o $@ ${txt} |
25 -a revision=$(revision) -o $@ ${txt} |
26 |
26 |
27 dia/%.png: dia/%.dia |
27 dia/%.png: dia/%.dia |
28 @mkdir -p ${dir $@} |
28 @mkdir -p ${dir $@} |
29 dia --export=$@ $< |
29 dia --export=$@ $< |