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:
11 DEPS := $(wildcard *.xml)
13 # one of: "fop", "pdflatex"
16 # one of: "docbook2tex", "xsl"
22 rm -f *.html *.fo *.pdf
23 rm -rf $(filter-out version.txt,$(wildcard *.txt))
25 rm -f matita.out matita.log matita.glo matita.dvi matita.idx
26 rm -f matita.aux matita.tex
28 # test (dumb implementation)
30 SP_ENCODING=UTF-8 docbook2txt matita.xml
36 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
37 xsltproc $(XHTML_XSL) $<
42 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
54 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
58 xsltproc $(FO_XSL) $< | xmllint --format - > $@
59 ifeq ($(TEX_METHOD),docbook2tex)
62 else ifeq ($(TEX_METHOD),xsl)
63 %.tex: %.xml $(TEX_XSL) $(DEPS)
64 xsltproc $(TEX_XSL) $< > $@
67 ifeq ($(PDF_METHOD),fop)
70 else ifeq ($(PDF_METHOD),pdflatex)
72 $(TEX_ENV) pdflatex $<
80 tex: $(patsubst %.xml,%.tex,$(MAIN))
81 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
82 ps: $(patsubst %.xml,%.ps,$(MAIN))
84 .PRECIOUS: matita.tex matita.dvi