X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2F.depend;fp=helm%2Focaml%2Fcic_omdoc%2F.depend;h=0000000000000000000000000000000000000000;hp=9e8bfadb7b7667eea0777c603d7f01fa9ff23c70;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/ocaml/cic_omdoc/.depend b/helm/ocaml/cic_omdoc/.depend
deleted file mode 100644
index 9e8bfadb7..000000000
--- a/helm/ocaml/cic_omdoc/.depend
+++ /dev/null
@@ -1,17 +0,0 @@
-contentPp.cmi: content.cmi 
-cic2content.cmi: cic2acic.cmi content.cmi 
-content2cic.cmi: content.cmi 
-eta_fixing.cmo: eta_fixing.cmi 
-eta_fixing.cmx: eta_fixing.cmi 
-doubleTypeInference.cmo: doubleTypeInference.cmi 
-doubleTypeInference.cmx: doubleTypeInference.cmi 
-cic2acic.cmo: doubleTypeInference.cmi eta_fixing.cmi cic2acic.cmi 
-cic2acic.cmx: doubleTypeInference.cmx eta_fixing.cmx cic2acic.cmi 
-content.cmo: content.cmi 
-content.cmx: content.cmi 
-contentPp.cmo: content.cmi contentPp.cmi 
-contentPp.cmx: content.cmx contentPp.cmi 
-cic2content.cmo: cic2acic.cmi content.cmi cic2content.cmi 
-cic2content.cmx: cic2acic.cmx content.cmx cic2content.cmi 
-content2cic.cmo: content.cmi content2cic.cmi 
-content2cic.cmx: content.cmx content2cic.cmi