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 DESTDIR = /usr/local/share/doc/matita/
17 # one of: "fop", "pdflatex"
20 # one of: "docbook2tex", "xsl"
24 rm -f *.html *.fo *.pdf
25 rm -rf $(filter-out version.txt,$(wildcard *.txt))
27 rm -f matita.out matita.log matita.glo matita.dvi matita.idx
28 rm -f matita.aux matita.tex
30 # test (dumb implementation)
32 SP_ENCODING=UTF-8 docbook2txt matita.xml
38 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
39 xsltproc $(XHTML_XSL) $<
44 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
51 w3m -dump -no-graph $< > $@
56 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
60 xsltproc $(FO_XSL) $< | xmllint --format - > $@
61 ifeq ($(TEX_METHOD),docbook2tex)
64 else ifeq ($(TEX_METHOD),xsl)
65 %.tex: %.xml $(TEX_XSL) $(DEPS)
66 xsltproc $(TEX_XSL) $< > $@
69 ifeq ($(PDF_METHOD),fop)
72 else ifeq ($(PDF_METHOD),pdflatex)
74 $(TEX_ENV) pdflatex $<
85 install-html: html-stamp
86 cp *.html *.css $(DESTDIR)
90 tex: $(patsubst %.xml,%.tex,$(MAIN))
91 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
92 ps: $(patsubst %.xml,%.ps,$(MAIN))
94 .PRECIOUS: matita.tex matita.dvi