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: make_still_working~6385
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5228343aa508a9bf46adcdae947a8696088d7f6e;p=helm.git

RT_BASEDIR changed to a sensible path
---

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
index 489485e6d..fa59bd7e8 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
+++ b/helm/software/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)