From 2133343c02507063421c4214029ac1eb585f389a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 7 Jul 2005 09:02:19 +0000 Subject: [PATCH] matita.ma.templ must be symbolically linked --- 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 5faa6f0f4..f1770a657 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 icons +LINKS=.matita matita.lang matita.conf.xml icons matita.ma.templ H=@ @@ -62,6 +62,9 @@ matita.conf.xml: icons: $(H)ln -fs ../icons . + +matita.ma.templ: + $(H)ln -fs ../matita.ma.templ . #done include $(DEPEND_NAME) diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index 1e9dde304..79bbf3e39 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 icons +LINKS=.matita matita.lang matita.conf.xml icons matita.ma.templ H=@ @@ -62,6 +62,9 @@ matita.conf.xml: icons: $(H)ln -fs ../icons . + +matita.ma.templ: + $(H)ln -fs ../matita.ma.templ . #done include $(DEPEND_NAME) -- 2.39.2