added comment about version number to be manually changed

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

diff --git a/matita/components/content/Makefile b/matita/components/content/Makefile
index 5ea3ee796506539d4b451a7e871d2b42f87027a6..8ea1cd33c734c0aa2bb493fb368ebc8f8b548484 100644 (file)
--- a/matita/components/content/Makefile
+++ b/matita/components/content/Makefile
@@ -6,7 +6,6 @@ INTERFACE_FILES =               \
        notationUtil.mli        \
        notationEnv.mli \
        notationPp.mli  \
-       interpretations.mli \
        $(NULL)
 IMPLEMENTATION_FILES =         \
        notationPt.ml   \