From: Enrico Tassi Date: Wed, 23 May 2007 14:09:35 +0000 (+0000) Subject: made matita.runtime_base_dir overridable setting MATITA_RUNTIME_BASE_DIR env variable X-Git-Tag: make_still_working~6318 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8ef74dd1af1b3e2ce7a19e603d6a77fdfb5969f7;p=helm.git made matita.runtime_base_dir overridable setting MATITA_RUNTIME_BASE_DIR env variable --- diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index f39b84c95..7d81977b6 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -15,6 +15,8 @@ $(user.home)/.matita + + @RT_BASE_DIR@ $(user.name) @@ -57,7 +59,7 @@ --> cic:/matita/ - file://@RT_BASE_DIR@/xml/standard-library/ + file://$(matita.rt_base_dir)/xml/standard-library/ ro