- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / metadata / .depend.opt

diff --git a/matita/components/metadata/.depend.opt b/matita/components/metadata/.depend.opt
deleted file mode 100644 (file)
index 78cd97a..0000000
--- 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