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: make_still_working~7540
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7d823a54d1c496da9f817d34efea85f1e6170140;p=helm.git

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

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