From b1ace2fa2a08a3657b7985bee7a376b9f1781a34 Mon Sep 17 00:00:00 2001
From: marangon <??>
Date: Thu, 15 Dec 2005 15:45:46 +0000
Subject: [PATCH] added -I ../.. (for coq.ma)

---
 helm/matita/contribs/LAMBDA-TYPES/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/contribs/LAMBDA-TYPES/Makefile b/helm/matita/contribs/LAMBDA-TYPES/Makefile
index c12b0fb43..297b5cb9c 100644
--- a/helm/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/matita/contribs/LAMBDA-TYPES/Makefile
@@ -1,6 +1,6 @@
 SRC=$(shell find . -name "*.ma" -a -type f)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ../..
 NODB=false
 ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb
-- 
2.39.2