diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,4 +1,5 @@ xsltproc=xsltproc +svg2png=rsvg-convert -f png #pages=$(shell xmllint --xpath "//*/@filename" main.xml | sed 's/filename=//g'| xargs echo) pages=$(shell sed -n 's/^.*filename="\([^"]*\)".*/\1/p' main.xml) @@ -6,7 +7,10 @@ pages=$(shell sed -n 's/^.*filename="\([^"]*\)".*/\1/p' main.xml) pages_html=$(pages:%.xml=%.xhtml) .PHONY: all -all: $(pages_html) +all: $(pages_html) checkmark.png + +%.png: %.svg + $(svg2png) $< > $@ %.xhtml: %.xml %.xsl xsl/* $(xsltproc) $< > $@ @@ -14,4 +18,4 @@ all: $(pages_html) $(xsltproc) $< > $@ clean: - rm -f $(pages_html) + rm -f $(pages_html) checkmark.png |