Simplified rendering

[helm.git] / matitaB / components / content / Makefile

diff --git a/matitaB/components/content/Makefile b/matitaB/components/content/Makefile
index 8ea1cd33c734c0aa2bb493fb368ebc8f8b548484..804141720ebbe6e9a899505aae0d652cc948e57e 100644 (file)
--- 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  \