XSLT=xsltproc --xinclude #name of the xsltprocessor
HTMLTXT=html2text -width 600
SRC= $(wildcard theorem_*.xml)
TEX= $(SRC:.xml=.tex)
PDF= $(SRC:.xml=.pdf)
THY= $(SRC:.xml=.thy)
HTML= $(SRC:.xml=.html)
V= $(SRC:.xml=.v)
VO= $(SRC:.xml=.vo)

.SECONDARY:

all: $(VO) $(PDF) $(THY) $(HTML)

vo: $(VO)

tex: $(TEX)

v: $(V)

pdf: $(PDF)

thy: $(THY)

html: $(HTML)

%.vo: %.v
	coqc $<

%.tex: %.xml ../VernacularTex.xsl ../Vernacular.dtd 
	$(XSLT) ../VernacularTex.xsl $< > $@

%.pdf: %.tex
	pdflatex $<

%.v: %.xml ../VernacularCoqTactics.xsl ../Vernacular.dtd 
	$(XSLT) ../VernacularCoqTactics.xsl $< > $@

%.thy: %.xml ../VernacularISAR.xsl ../Vernacular.dtd 
	$(XSLT) ../VernacularISAR.xsl $< > $@

%.html: %.xml ../VernacularHTML.xsl ../Vernacular.dtd 
	$(XSLT) ../VernacularHTML.xsl $< > $@

clean:
	rm -f *.aux *.log *.thy *.v *.vo *.glob *.tex *.pdf *.html