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 7fd5e9ccbb02597ea0bd2b010c0f98dd5ca69450..e13a30b0539f889613ce528dba769b07b0fd108e 100644 (file)
--- 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