From: marangon <??>
Date: Thu, 15 Dec 2005 15:45:46 +0000 (+0000)
Subject: added -I ../.. (for coq.ma)
X-Git-Tag: make_still_working~7994
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b1ace2fa2a08a3657b7985bee7a376b9f1781a34;hp=0939763346af108a2f2d5ed9c05c2b3f20b3fbbf;p=helm.git

added -I ../.. (for coq.ma)
---

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