X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fmetadata%2FMakefile;h=9943237dd59be199131cf93519c1439bc364a7ca;hb=ae1e6d714da0f555dfa9d7f1b0e9321278db12e5;hp=6c9aa763c535a934c394beaa95ef425d79813301;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git

diff --git a/components/metadata/Makefile b/components/metadata/Makefile
index 6c9aa763c..9943237dd 100644
--- a/components/metadata/Makefile
+++ b/components/metadata/Makefile
@@ -7,7 +7,9 @@ INTERFACE_FILES = \
 	metadataExtractor.mli \
 	metadataPp.mli \
 	metadataConstraints.mli \
-	metadataDb.mli 
+	metadataDb.mli \
+	metadataDeps.mli \
+	$(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =