moved graphviz pretty printer outside matita, so that it can be used by other compone...

[helm.git] / components / extlib / Makefile

diff --git a/components/extlib/Makefile b/components/extlib/Makefile
index 8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0..25b49280c29cde8883bc688fd32ffdc10b2fe7b4 100644 (file)
--- a/components/extlib/Makefile
+++ b/components/extlib/Makefile
@@ -9,6 +9,7 @@ INTERFACE_FILES =               \
        hLog.mli                \
        trie.mli                \
        refCounter.mli          \
+       graphvizPp.mli          \
        $(NULL)
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)