X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2FMakefile;fp=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2FMakefile;h=e85ad9a99608d4671e01cd9472f9737bdf1e9cb8;hb=4d38ec241ba25a2205ee07c4c4ad0ac121eb5442;hp=2a4287678cf2c97371d29e6a59d48d738e481519;hpb=abd976fb6603a85c1da6d1582114e7c1fa472449;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