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: make_still_working~7188
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d38ec241ba25a2205ee07c4c4ad0ac121eb5442;p=helm.git

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 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