-clean:
- rm -f *.html *.fo *.pdf
- rm -rf $(filter-out version.txt,$(wildcard *.txt))
- rm -f *-stamp
+else ifeq ($(PDF_METHOD),pdflatex)
+%.pdf: %.tex
+ $(TEX_ENV) pdflatex $<
+endif
+
+%.dvi: %.tex
+ $(TEX_ENV) latex $<
+%.ps: %.dvi
+ dvips $<
+
+# installation
+
+install: install-html
+install-html: html-stamp
+ cp *.html *.css $(DESTDIR)
+
+# shotcuts
+
+tex: $(patsubst %.xml,%.tex,$(MAIN))
+dvi: $(patsubst %.xml,%.dvi,$(MAIN))
+ps: $(patsubst %.xml,%.ps,$(MAIN))
+
+.PRECIOUS: matita.tex matita.dvi