X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fcontent%2FMakefile;h=804141720ebbe6e9a899505aae0d652cc948e57e;hb=b40e4e96e85103c7072985990c6b541371fd5a48;hp=8ea1cd33c734c0aa2bb493fb368ebc8f8b548484;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content/Makefile b/matitaB/components/content/Makefile
index 8ea1cd33c..804141720 100644
--- a/matitaB/components/content/Makefile
+++ b/matitaB/components/content/Makefile
@@ -2,7 +2,6 @@ PACKAGE = content
 PREDICATES =
 
 INTERFACE_FILES =		\
-	content.mli		\
 	notationUtil.mli	\
 	notationEnv.mli	\
 	notationPp.mli	\