From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 Feb 2006 14:13:31 +0000 (+0000)
Subject: Missing -I ../.. added.
X-Git-Tag: 0.4.95@7852~1638
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=03c3436a65052dd3006477e3b079c6b07ce86693;hp=32c96a65487f71bb22a609c18eac315bd700dc36;p=helm.git

Missing -I ../.. added.
---

diff --git a/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index 489b2c135..5b2b2fa40 100644
--- a/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
+++ b/matita/contribs/PREDICATIVE-TOPOLOGY/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