XSLTPROC=xsltproc
XHTML_XSL=xsl/matita-xhtml.xsl
MAIN=matita.xml
DEPS := $(wildcard *.xml)

all: quickref-stamp html-stamp pdf-stamp

quickref-stamp: tactics_quickref.xml declarative_tactics_quickref.xml
	touch $@

tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
	$(XSLTPROC) --param declarative "''" $< matita.xml > $@
declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
	$(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > $@

html: quickref-stamp html-stamp
html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
	$(XSLTPROC) $(XHTML_XSL) $<
	cp *.css html
	mv *.html html
	cp -R figures/* html/figures/
	touch $@

pdf: quickref-stamp pdf-stamp
pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
	touch $@

%.pdf: %.xml
	dblatex -r scripts/fix-symbols.sh -t pdf $< 
%.dvi: %.xml
	dblatex -r scripts/fix-symbols.sh -t dvi $<
%.ps: %.xml
	dblatex -r scripts/fix-symbols.sh -t ps $<

clean:
	rm -f html/*.html html/*.css html/figures/* *.pdf *.ps *.dvi *.tex
	rm -f *-stamp