diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 8 |
2 files changed, 7 insertions, 2 deletions
@@ -4,3 +4,4 @@ contact.xhtml impress.xhtml index.xhtml services.xhtml +checkmark.png @@ -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 |