helm/software/matita/nlibrary/topology/Makefile

   1 SRC=$(wildcard *.ma)
   2
   3 all: $(SRC:%.ma=%.html)
   4
   5 clean:
   6         rm *.html *.png
   7
   8 %.html: %.ma convert.awk preamble.xml postamble.xml
   9         cat preamble.xml > $@
  10         awk -f convert.awk < $< > $*.mdwn
  11         markdown < $*.mdwn >> $@
  12         cat postamble.xml >> $@
  13