-quickref: tactic_quickref.xml
-tactic_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
- $(XSLTPROC) $< matita.xml > tactic_quickref.xml
-
-# one of: "fop", "pdflatex"
-PDF_METHOD=pdflatex
-
-# one of: "docbook2tex", "xsl"
-TEX_METHOD=xsl
-
-clean:
- rm -f *.html *.fo *.pdf
- rm -rf $(filter-out version.txt,$(wildcard *.txt))
- rm -f *-stamp
- rm -f matita.out matita.log matita.glo matita.dvi matita.idx
- rm -f matita.aux matita.tex
-
-# test (dumb implementation)
-test:
- SP_ENCODING=UTF-8 docbook2txt matita.xml
-
-# XHTMLs generation
-
-.PHONY: html
-html: html-stamp
-html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
- xsltproc $(XHTML_XSL) $<