X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fmetadata%2F.depend.opt;fp=matita%2Fcomponents%2Fmetadata%2F.depend.opt;h=0000000000000000000000000000000000000000;hb=bfcde2b08d72f1392ed61164c67d199360f0397f;hp=78cd97a0deff8787b73aed2878acef8374029ee0;hpb=907f919aba0f21b18acff8a8e1c266ab92d10baf;p=helm.git

diff --git a/matita/components/metadata/.depend.opt b/matita/components/metadata/.depend.opt
deleted file mode 100644
index 78cd97a0d..000000000
--- a/matita/components/metadata/.depend.opt
+++ /dev/null
@@ -1,25 +0,0 @@
-sqlStatements.cmi: 
-metadataTypes.cmi: 
-metadataExtractor.cmi: metadataTypes.cmi 
-metadataPp.cmi: metadataTypes.cmi 
-metadataConstraints.cmi: metadataTypes.cmi 
-metadataDb.cmi: metadataTypes.cmi 
-metadataDeps.cmi: metadataTypes.cmi 
-sqlStatements.cmo: sqlStatements.cmi 
-sqlStatements.cmx: sqlStatements.cmi 
-metadataTypes.cmo: metadataTypes.cmi 
-metadataTypes.cmx: metadataTypes.cmi 
-metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
-metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
-metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
-metadataConstraints.cmo: metadataTypes.cmi metadataPp.cmi \
-    metadataConstraints.cmi 
-metadataConstraints.cmx: metadataTypes.cmx metadataPp.cmx \
-    metadataConstraints.cmi 
-metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
-    metadataConstraints.cmi metadataDb.cmi 
-metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
-    metadataConstraints.cmx metadataDb.cmi 
-metadataDeps.cmo: sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi 
-metadataDeps.cmx: sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi