2 XHTML_XSL=xsl/matita-xhtml.xsl
4 DEPS := $(wildcard *.xml)
6 all: quickref-stamp html-stamp pdf-stamp
8 quickref-stamp: tactics_quickref.xml declarative_tactics_quickref.xml
11 tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
12 $(XSLTPROC) --param declarative "''" $< matita.xml > $@
13 declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
14 $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > $@
16 html: quickref-stamp html-stamp
17 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
18 $(XSLTPROC) $(XHTML_XSL) $<
21 cp -R figures/* html/figures/
24 pdf: quickref-stamp pdf-stamp
25 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
29 dblatex -r scripts/fix-symbols.sh -t pdf $<
31 dblatex -r scripts/fix-symbols.sh -t dvi $<
33 dblatex -r scripts/fix-symbols.sh -t ps $<
36 rm -f html/*.html html/*.css html/figures/* *.pdf *.ps *.dvi *.tex