From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Feb 2008 12:09:41 +0000 (+0000)
Subject: fixed path for matitadep
X-Git-Tag: make_still_working~5617
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=783fbc6eb42d5db260d93d8d213a7d5c035e99e3;p=helm.git

fixed path for matitadep
---

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile
index 7fd5e9ccb..e13a30b05 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile
@@ -9,6 +9,6 @@ clean:
 clean.opt:
 	../../../matitaclean.opt
 depend:
-	../matitadep
+	../../../matitadep
 depend.opt:
-	../matitadep.opt
+	../../../matitadep.opt