changed install target so that figures are instaled as well

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index 2a4287678cf2c97371d29e6a59d48d738e481519..e85ad9a99608d4671e01cd9472f9737bdf1e9cb8 100644 (file)
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/matita/help/C/Makefile
@@ -88,6 +88,8 @@ endif
 install: install-html
 install-html: html-stamp
        cp *.html *.css $(DESTDIR)
+       test -d $(DESTDIR)/figures || mkdir $(DESTDIR)/figures
+       cp figures/* $(DESTDIR)/figures/
 
 # shotcuts