2 include ../../../Makefile.defs
5 XHTML_XSL=xsl/matita-xhtml.xsl
6 FO_XSL=xsl/matita-fo.xsl
7 TEX_XSL=xsl/matita-tex.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 quickref: tactics_quickref.xml declarative_tactics_quickref.xml
19 tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
20 $(XSLTPROC) --param declarative "''" $< matita.xml > tactics_quickref.xml
21 declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
22 $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > declarative_tactics_quickref.xml
24 # one of: "fop", "pdflatex"
27 # one of: "docbook2tex", "xsl"
31 rm -f *.html *.fo *.pdf
32 rm -rf $(filter-out version.txt,$(wildcard *.txt))
34 rm -f matita.out matita.log matita.glo matita.dvi matita.idx
35 rm -f matita.aux matita.tex
37 # test (dumb implementation)
39 SP_ENCODING=UTF-8 docbook2txt matita.xml
45 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
46 $(XSLTPROC) $(XHTML_XSL) $<
51 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
57 txt-stamp-rec: $(TXTS)
59 w3m -dump -no-graph $< > $@
64 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
68 $(XSLTPROC) $(FO_XSL) $< | xmllint --format - > $@
69 ifeq ($(TEX_METHOD),docbook2tex)
72 else ifeq ($(TEX_METHOD),xsl)
73 %.tex: %.xml $(TEX_XSL) $(DEPS)
74 $(XSLTPROC) $(TEX_XSL) $< > $@
77 ifeq ($(PDF_METHOD),fop)
80 else ifeq ($(PDF_METHOD),pdflatex)
82 $(TEX_ENV) pdflatex $<
93 install-html: html-stamp
94 cp *.html *.css $(DESTDIR)
95 test -d $(DESTDIR)/figures || mkdir $(DESTDIR)/figures
96 cp figures/* $(DESTDIR)/figures/
100 tex: $(patsubst %.xml,%.tex,$(MAIN))
101 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
102 ps: $(patsubst %.xml,%.ps,$(MAIN))
104 .PRECIOUS: matita.tex matita.dvi