blob: f05852635531a26396c4c54fad4bad58517078c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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)
pages_html=$(pages:%.xml=%.xhtml)
.PHONY: all
all: $(pages_html) checkmark.png
%.png: %.svg
$(svg2png) $< > $@
%.xhtml: %.xml %.xsl xsl/*
$(xsltproc) $< > $@
%.xhtml: %.xml xsl/*
$(xsltproc) $< > $@
clean:
rm -f $(pages_html) checkmark.png
|
