From d303d6a51512aa9270c76628331ce4a1b2a8f3be Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 4 Jul 2005 15:19:40 +0000 Subject: [PATCH] icons added to the list of required symbolic links --- helm/matita/library/Makefile | 5 ++++- helm/matita/tests/Makefile | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile index b3c1ae817..60484cd78 100644 --- a/helm/matita/library/Makefile +++ b/helm/matita/library/Makefile @@ -12,7 +12,7 @@ MATITADEP=../matitadep MATITADEPOPT=../matitadep.opt DEPEND_NAME=.depend -LINKS=.matita matita.lang matita.conf.xml +LINKS=.matita matita.lang matita.conf.xml icons H=@ @@ -59,6 +59,9 @@ matita.lang: matita.conf.xml: $(H)ln -fs ../matita.conf.xml . + +icons: + $(H)ln -fs ../icons . #done include $(DEPEND_NAME) diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index b3c1ae817..60484cd78 100644 --- a/helm/matita/tests/Makefile +++ b/helm/matita/tests/Makefile @@ -12,7 +12,7 @@ MATITADEP=../matitadep MATITADEPOPT=../matitadep.opt DEPEND_NAME=.depend -LINKS=.matita matita.lang matita.conf.xml +LINKS=.matita matita.lang matita.conf.xml icons H=@ @@ -59,6 +59,9 @@ matita.lang: matita.conf.xml: $(H)ln -fs ../matita.conf.xml . + +icons: + $(H)ln -fs ../icons . #done include $(DEPEND_NAME) -- 2.39.2