]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/nlibrary/topology/Makefile
instance fixed
[helm.git] / helm / software / matita / nlibrary / topology / Makefile
1 SRC=igft.ma
2
3 all: $(SRC:%.ma=%.html)
4
5 print: $(SRC:%.ma=%.pdf)
6
7 %.pdf: %.html
8         # requires http://torisugari.googlepages.com/commandlineprint2
9         touch $@
10         iceweasel -print file://$$PWD/$< -printmode PDF -printfile ./$@
11
12 clean:
13         rm *.html *.png *.mdwn
14
15 %.html: %.ma convert.awk preamble.xml postamble.xml
16         cat preamble.xml > $@
17         awk -f convert.awk < $< > $*.mdwn
18         markdown < $*.mdwn >> $@
19         cat postamble.xml >> $@
20