From 4d38ec241ba25a2205ee07c4c4ad0ac121eb5442 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Jun 2006 14:40:06 +0000 Subject: [PATCH] changed install target so that figures are instaled as well --- helm/software/matita/help/C/Makefile | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.2