helm/software/matita/help/C/Makefile

   1
   2 include ../../../Makefile.defs
   3
   4 XSLTPROC=xsltproc
   5 XHTML_XSL=matita-xhtml.xsl
   6 FO_XSL=matita-fo.xsl
   7 TEX_XSL=matita-tex.xsl
   8 TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
   9 TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
  10 MAIN=matita.xml
  11 DEPENDENCES = \
  12         legal.xml \
  13         sec_install.xml \
  14         sec_gettingstarted.xml \
  15         sec_intro.xml \
  16         sec_terms.xml \
  17         sec_tactics.xml \
  18         sec_tacticals.xml \
  19         sec_commands.xml \
  20         sec_usernotation.xml
  21
  22 # one of: "fop", "pdflatex"
  23 PDF_METHOD=pdflatex
  24
  25 # one of: "docbook2tex", "xsl"
  26 TEX_METHOD=xsl
  27
  28 all: html txt
  29
  30 clean:
  31         rm -f *.html *.fo *.pdf
  32         rm -rf $(filter-out version.txt,$(wildcard *.txt))
  33         rm -f *-stamp
  34         rm -f matita.out matita.log matita.glo matita.dvi matita.idx
  35         rm -f matita.aux matita.tex
  36
  37 # test (dumb implementation)
  38 test:
  39         SP_ENCODING=UTF-8 docbook2txt matita.xml
  40
  41 # XHTMLs generation
  42
  43 .PHONY: html
  44 html: html-stamp
  45 html-stamp: $(MAIN) $(DEPENDENCES)
  46         xsltproc $(XHTML_XSL) $<
  47         touch $@
  48
  49 # TXTs generation
  50
  51 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
  52 .PHONY: txt
  53 txt: txt-stamp
  54 txt-stamp: html-stamp
  55         $(MAKE) $(TXTS)
  56         touch $@
  57 %.txt: %.html
  58         w3m -dump $< > $@
  59
  60 # PDF generation
  61
  62 pdf: pdf-stamp
  63 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  64         touch $@
  65
  66 %.fo: %.xml
  67         xsltproc $(FO_XSL) $< | xmllint --format - > $@
  68 ifeq ($(TEX_METHOD),docbook2tex)
  69 %.tex: %.xml
  70         docbook2tex $<
  71 else ifeq ($(TEX_METHOD),xsl)
  72 %.tex: %.xml $(TEX_XSL)
  73         xsltproc $(TEX_XSL) $< > $@
  74 endif
  75
  76 ifeq ($(PDF_METHOD),fop)
  77 %.pdf: %.fo
  78         fop $< $@
  79 else ifeq ($(PDF_METHOD),pdflatex)
  80 %.pdf: %.tex
  81         $(TEX_ENV) pdflatex $<
  82 endif
  83
  84 %.dvi: %.tex
  85         $(TEX_ENV) latex $<
  86 %.ps: %.dvi
  87         dvips $<
  88
  89 .PRECIOUS: matita.tex
  90