From d526c11d120a7b5f7379f1d0b212947d13c4d4d6 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 --- matita/help/C/Makefile | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.2