- $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > declarative_tactics_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