-%.fo: %.xml
- xsltproc $(FO_XSL) $< | xmllint --format - > $@
-%.tex: %.xml
- xsltproc $(TEX_XSL) $< > $@
-
-ifeq ($(PDF_METHOD),fop)
-%.pdf: %.fo
- fop $< $@
-else ifeq ($(PDF_METHOD),pdflatex)
-%.pdf: %.tex
- pdflatex $<
-endif
+%.pdf: %.xml
+ dblatex -rscripts/fix-symbols.sh -tpdf $<
+%.dvi: %.xml
+ dblatex -rscripts/fix-symbols.sh -tdvi $<
+%.ps: %.xml
+ dblatex -rscripts/fix-symbols.sh -tps $<
+
+install: install-html install-pdf
+install-pdf: pdf-stamp
+ mkdir -p $(DESTDIR)/pdf
+ cp matita.pdf $(DESTDIR)/pdf
+
+install-html: html-stamp
+ mkdir -p $(DESTDIR)/html
+ cp *.html *.css $(DESTDIR)/html
+ test -d $(DESTDIR)/html/figures || mkdir $(DESTDIR)/html/figures
+ cp figures/* $(DESTDIR)/html/figures/
+
+clean:
+ rm -f *.html *.pdf *.ps *.dvi *.tex
+ rm -f *-stamp