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
24 xsltproc $(XHTML_XSL) $<
29 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
41 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
45 xsltproc $(FO_XSL) $< | xmllint --format - > $@
47 xsltproc $(TEX_XSL) $< > $@
49 ifeq ($(PDF_METHOD),fop)
52 else ifeq ($(PDF_METHOD),pdflatex)