2 include ../../../Makefile.defs
5 XHTML_XSL=matita-xhtml.xsl
8 TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
9 TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
12 # one of: "fop", "pdflatex"
15 # one of: "docbook2tex", "xsl"
21 rm -f *.html *.fo *.pdf
22 rm -rf $(filter-out version.txt,$(wildcard *.txt))
24 rm -f matita.out matita.log matita.glo matita.dvi matita.idx
25 rm -f matita.aux matita.tex
27 # test (dumb implementation)
29 SP_ENCODING=UTF-8 docbook2txt matita.xml
36 xsltproc $(XHTML_XSL) $<
41 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
53 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
57 xsltproc $(FO_XSL) $< | xmllint --format - > $@
58 ifeq ($(TEX_METHOD),docbook2tex)
61 else ifeq ($(TEX_METHOD),xsl)
62 %.tex: %.xml $(TEX_XSL)
63 xsltproc $(TEX_XSL) $< > $@
66 ifeq ($(PDF_METHOD),fop)
69 else ifeq ($(PDF_METHOD),pdflatex)
71 $(TEX_ENV) pdflatex $<