matita/help/C/Makefile

   1 XSLTPROC=xsltproc
   2 XHTML_XSL=matita-xhtml.xsl
   3 FO_XSL=matita-fo.xsl
   4 TEX_XSL=matita-tex.xsl
   5 MAIN=matita.xml
   6
   7 # one of "fop", "pdflatex"
   8 PDF_METHOD=pdflatex
   9
  10 all: html txt
  11
  12 clean:
  13         rm -f *.html *.fo *.pdf
  14         rm -rf $(filter-out version.txt,$(wildcard *.txt))
  15         rm -f *-stamp
  16         rm -f matita.out matita.log matita.glo matita.dvi matita.idx
  17         rm -f matita.aux matita.tex
  18
  19 # XHTMLs generation
  20
  21 .PHONY: html
  22 html: html-stamp
  23 html-stamp: $(MAIN)
  24         xsltproc $(XHTML_XSL) $<
  25         touch $@
  26
  27 # TXTs generation
  28
  29 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
  30 .PHONY: txt
  31 txt: txt-stamp
  32 txt-stamp: html-stamp
  33         $(MAKE) $(TXTS)
  34         touch $@
  35 %.txt: %.html
  36         w3m -dump $< > $@
  37
  38 # PDF generation
  39
  40 pdf: pdf-stamp
  41 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  42         touch $@
  43
  44 %.fo: %.xml
  45         xsltproc $(FO_XSL) $< | xmllint --format - > $@
  46 %.tex: %.xml
  47         xsltproc $(TEX_XSL) $< > $@
  48
  49 ifeq ($(PDF_METHOD),fop)
  50 %.pdf: %.fo
  51         fop $< $@
  52 else ifeq ($(PDF_METHOD),pdflatex)
  53 %.pdf: %.tex
  54         pdflatex $<
  55 endif
  56