]> matita.cs.unibo.it Git - helm.git/commitdiff
changed install target so that figures are instaled as well
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:40:06 +0000 (14:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:40:06 +0000 (14:40 +0000)
helm/software/matita/help/C/Makefile

index 2a4287678cf2c97371d29e6a59d48d738e481519..e85ad9a99608d4671e01cd9472f9737bdf1e9cb8 100644 (file)
@@ -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