From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 17 Apr 2007 09:44:43 +0000 (+0000)
Subject: RT_BASEDIR changed to a sensible path
X-Git-Tag: 0.4.95@7852~526
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cf664aff0bf81f98d07e217a93544d906d5bd480;p=helm.git

RT_BASEDIR changed to a sensible path
---

diff --git a/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile b/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
index 489485e6d..fa59bd7e8 100644
--- a/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
+++ b/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
@@ -1,6 +1,6 @@
-H=@
+H=
 
-RT_BASEDIR=/home/fguidi/svn/software/matita/
+RT_BASEDIR=../../../
 OPTIONS=-bench
 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)