From 5228343aa508a9bf46adcdae947a8696088d7f6e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 17 Apr 2007 09:44:43 +0000
Subject: [PATCH] RT_BASEDIR changed to a sensible path

---
 .../matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile         | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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) 
-- 
2.39.2