From 563e48737ae96923a6b7af80ce243bd215a0dea1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 10 Oct 2006 14:06:44 +0000 Subject: [PATCH] fguidi removed from RT in makefiles --- matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile | 2 +- matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile | 2 +- matita/contribs/RELATIONAL/makefile | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile b/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile index a9ac2184e..f8af22fa5 100644 --- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile +++ b/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile @@ -1,6 +1,6 @@ H=@ -RT_BASEDIR=/home/fguidi/svn/software/matita/ +RT_BASEDIR=../../../ OPTIONS=-bench MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile index a9ac2184e..f8af22fa5 100644 --- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile +++ b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile @@ -1,6 +1,6 @@ H=@ -RT_BASEDIR=/home/fguidi/svn/software/matita/ +RT_BASEDIR=../../../ OPTIONS=-bench MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) diff --git a/matita/contribs/RELATIONAL/makefile b/matita/contribs/RELATIONAL/makefile index b3177beae..1fda4fb90 100644 --- a/matita/contribs/RELATIONAL/makefile +++ b/matita/contribs/RELATIONAL/makefile @@ -1,6 +1,6 @@ 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