matita/help/C/Makefile

   1 XSLTPROC=xsltproc
   2 XHTML_XSL=http://docbook.sourceforge.net/release/xsl/current/xhtml/docbook.xsl
   3 FO_XSL=http://docbook.sourceforge.net/release/xsl/current/fo/docbook.xsl
   4
   5 all: html txt
   6
   7 .PHONY: html
   8 html: html-stamp
   9 html-stamp: matita.html
  10         ./split.ml $<
  11         touch $@
  12
  13 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
  14 .PHONY: txt
  15 txt: txt-stamp
  16 txt-stamp: html-stamp
  17         $(MAKE) $(TXTS)
  18         touch $@
  19
  20 %.txt: %.html
  21         w3m -dump $< > $@
  22 %.html: %.xml
  23         xsltproc $(XHTML_XSL) $< | xmllint --format - > $@
  24 %.fo: %.xml
  25         xsltproc $(FO_XSL) $< | xmllint --format - > $@
  26 %.pdf: %.fo
  27         fop $< $@
  28 clean:
  29         rm -f *.html *.fo *.pdf
  30         rm -rf $(filter-out version.txt,$(wildcard *.txt))
  31         rm -f *-stamp
  32