X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FMakefile;h=9943237dd59be199131cf93519c1439bc364a7ca;hb=9aaaba04fbd198881aaee42cfc41fdb75db1eeaa;hp=6c9aa763c535a934c394beaa95ef425d79813301;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/components/metadata/Makefile b/helm/software/components/metadata/Makefile
index 6c9aa763c..9943237dd 100644
--- a/helm/software/components/metadata/Makefile
+++ b/helm/software/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 =