added comment about version number to be manually changed

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

diff --git a/matita/components/grafite/Makefile b/matita/components/grafite/Makefile
index 6eb3e7a783806914c5339b3cc1eafdb815a47e79..158bc992dae0b093a45eb46b1c885c9bafaaea76 100644 (file)
--- a/matita/components/grafite/Makefile
+++ b/matita/components/grafite/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        grafiteAstPp.mli        \
-       grafiteMarshal.mli      \
        $(NULL)
 IMPLEMENTATION_FILES =         \
        grafiteAst.ml           \