-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/
-