summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Franzke <benjaminfranzke@googlemail.com>2011-08-23 18:59:01 +0200
committerBenjamin Franzke <benjaminfranzke@googlemail.com>2011-08-23 18:59:01 +0200
commit67a18a4ec40248401c36159fcd062fdf03080a7e (patch)
treedebaa836d1acf371f09f218e150026570320bbb3
parentad18c6bc6cb043837813ba5652a7b484d44d2322 (diff)
downloadmutti-web-67a18a4ec40248401c36159fcd062fdf03080a7e.tar.gz
mutti-web-67a18a4ec40248401c36159fcd062fdf03080a7e.tar.bz2
mutti-web-67a18a4ec40248401c36159fcd062fdf03080a7e.zip
Generate checkmark.png from checkmark.svg
-rw-r--r--.gitignore1
-rw-r--r--Makefile8
2 files changed, 7 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index ef27af0..521baec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ contact.xhtml
impress.xhtml
index.xhtml
services.xhtml
+checkmark.png
diff --git a/Makefile b/Makefile
index 2bfa102..f058526 100644
--- a/Makefile
+++ b/Makefile
@@ -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