From 7d823a54d1c496da9f817d34efea85f1e6170140 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 Feb 2006 14:13:31 +0000
Subject: [PATCH] Missing -I ../.. added.

---
 helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.2