+# installation
+
+install: install-html
+install-html: html-stamp
+ cp *.html *.css $(DESTDIR)
+ test -d $(DESTDIR)/figures || mkdir $(DESTDIR)/figures
+ cp figures/* $(DESTDIR)/figures/
+
+# shotcuts
+
+tex: $(patsubst %.xml,%.tex,$(MAIN))
+dvi: $(patsubst %.xml,%.dvi,$(MAIN))
+ps: $(patsubst %.xml,%.ps,$(MAIN))
+
+.PRECIOUS: matita.tex matita.dvi