X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2FMakefile;h=e85ad9a99608d4671e01cd9472f9737bdf1e9cb8;hb=2bd3b029f7f67d9c616b7756278573cc9e96510c;hp=2a4287678cf2c97371d29e6a59d48d738e481519;hpb=522d835109b6df16e1c082ae128c0e08677cbb1b;p=helm.git

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index 2a4287678..e85ad9a99 100644
--- 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