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 # test (dumb implementation)
  20 test:
  21         SP_ENCODING=UTF-8 docbook2txt matita.xml
  22
  23 # XHTMLs generation
  24
  25 .PHONY: html
  26 html: html-stamp
  27 html-stamp: $(MAIN)
  28         xsltproc $(XHTML_XSL) $<
  29         touch $@
  30
  31 # TXTs generation
  32
  33 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
  34 .PHONY: txt
  35 txt: txt-stamp
  36 txt-stamp: html-stamp
  37         $(MAKE) $(TXTS)
  38         touch $@
  39 %.txt: %.html
  40         w3m -dump $< > $@
  41
  42 # PDF generation
  43
  44 pdf: pdf-stamp
  45 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  46         touch $@
  47
  48 %.fo: %.xml
  49         xsltproc $(FO_XSL) $< | xmllint --format - > $@
  50 %.tex: %.xml
  51         xsltproc $(TEX_XSL) $< > $@
  52
  53 ifeq ($(PDF_METHOD),fop)
  54 %.pdf: %.fo
  55         fop $< $@
  56 else ifeq ($(PDF_METHOD),pdflatex)
  57 %.pdf: %.tex
  58         pdflatex $<
  59 endif
  60