2 XHTML_XSL=matita-xhtml.xsl
7 # one of "fop", "pdflatex"
13 rm -f *.html *.fo *.pdf
14 rm -rf $(filter-out version.txt,$(wildcard *.txt))
16 rm -f matita.out matita.log matita.glo matita.dvi matita.idx
17 rm -f matita.aux matita.tex
19 # test (dumb implementation)
21 SP_ENCODING=UTF-8 docbook2txt matita.xml
28 xsltproc $(XHTML_XSL) $<
33 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
45 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
49 xsltproc $(FO_XSL) $< | xmllint --format - > $@
51 xsltproc $(TEX_XSL) $< > $@
53 ifeq ($(PDF_METHOD),fop)
56 else ifeq ($(PDF_METHOD),pdflatex)