X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fhelp%2FC%2FMakefile;h=e85ad9a99608d4671e01cd9472f9737bdf1e9cb8;hb=9809371a52b90f005b0a393586c0d847bc26b92a;hp=2a4287678cf2c97371d29e6a59d48d738e481519;hpb=935a53fb77f36e5d90a2a59fa500744001e9d780;p=helm.git

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