From 03c3436a65052dd3006477e3b079c6b07ce86693 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 1/1] Missing -I ../.. added.

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

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