matita/help/C/Makefile

   1
   2 include ../../../Makefile.defs
   3
   4 XSLTPROC=xsltproc
   5 XHTML_XSL=xsl/matita-xhtml.xsl
   6 FO_XSL=xsl/matita-fo.xsl
   7 TEX_XSL=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 DEPS := $(wildcard *.xml)
  12
  13 DESTDIR = /usr/local/share/doc/matita/
  14
  15 all: quickref
  16
  17 quickref: tactics_quickref.xml declarative_tactics_quickref.xml
  18
  19 tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
  20         $(XSLTPROC) --param declarative "''" $< matita.xml > tactics_quickref.xml
  21 declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
  22         $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > declarative_tactics_quickref.xml
  23
  24 # one of: "fop", "pdflatex"
  25 PDF_METHOD=pdflatex
  26
  27 # one of: "docbook2tex", "xsl"
  28 TEX_METHOD=xsl
  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) $(DEPS) $(XHTML_XSL)
  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) txt-stamp-rec
  56         touch $@
  57 txt-stamp-rec: $(TXTS)
  58 %.txt: %.html
  59         w3m -dump -no-graph $< > $@
  60
  61 # PDF generation
  62
  63 pdf: pdf-stamp
  64 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  65         touch $@
  66
  67 %.fo: %.xml
  68         $(XSLTPROC) $(FO_XSL) $< | xmllint --format - > $@
  69 ifeq ($(TEX_METHOD),docbook2tex)
  70 %.tex: %.xml $(DEPS)
  71         docbook2tex $<
  72 else ifeq ($(TEX_METHOD),xsl)
  73 %.tex: %.xml $(TEX_XSL) $(DEPS)
  74         $(XSLTPROC) $(TEX_XSL) $< > $@
  75 endif
  76
  77 ifeq ($(PDF_METHOD),fop)
  78 %.pdf: %.fo
  79         fop $< $@
  80 else ifeq ($(PDF_METHOD),pdflatex)
  81 %.pdf: %.tex
  82         $(TEX_ENV) pdflatex $<
  83 endif
  84
  85 %.dvi: %.tex
  86         $(TEX_ENV) latex $<
  87 %.ps: %.dvi
  88         dvips $<
  89
  90 # installation
  91
  92 install: install-html
  93 install-html: html-stamp
  94         cp *.html *.css $(DESTDIR)
  95         test -d $(DESTDIR)/figures || mkdir $(DESTDIR)/figures
  96         cp figures/* $(DESTDIR)/figures/
  97
  98 # shotcuts
  99
 100 tex: $(patsubst %.xml,%.tex,$(MAIN))
 101 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
 102 ps: $(patsubst %.xml,%.ps,$(MAIN))
 103
 104 .PRECIOUS: matita.tex matita.dvi
 105