From cf664aff0bf81f98d07e217a93544d906d5bd480 Mon Sep 17 00:00:00 2001 From: Enrico Tassi 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/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) -- 2.39.2