added comment about version number to be manually changed

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

diff --git a/matita/components/extlib/Makefile b/matita/components/extlib/Makefile
index 4aa36a488e8504fbeeb577fcec60e1278950985b..8167ec3b4dbe9700f5165695a6ef5b6bf4a287d5 100644 (file)
--- a/matita/components/extlib/Makefile
+++ b/matita/components/extlib/Makefile
@@ -10,7 +10,6 @@ INTERFACE_FILES =             \
        trie.mli                \
        discrimination_tree.mli                 \
        hTopoSort.mli           \
-       refCounter.mli          \
        graphvizPp.mli          \
        $(NULL)
 IMPLEMENTATION_FILES = \