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