From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Jun 2006 14:40:06 +0000 (+0000)
Subject: changed install target so that figures are instaled as well
X-Git-Tag: 0.4.95@7852~1321
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d526c11d120a7b5f7379f1d0b212947d13c4d4d6;p=helm.git

changed install target so that figures are instaled as well
---

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