X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FMakefile;h=25b49280c29cde8883bc688fd32ffdc10b2fe7b4;hb=54cffdf58a8480b2ee43d9c0a82213c1926b15e6;hp=8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0;hpb=2e8f609597740c63f1a88842edc9df87b0dd6cc9;p=helm.git

diff --git a/components/extlib/Makefile b/components/extlib/Makefile
index 8caad1fca..25b49280c 100644
--- 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)