From 783fbc6eb42d5db260d93d8d213a7d5c035e99e3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 12 Feb 2008 12:09:41 +0000 Subject: [PATCH] fixed path for matitadep --- .../matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2