cic_transformations factorized into cic_omdoc and cic_transformations.

[helm.git] / helm / ocaml / cic_omdoc / .depend

diff --git a/helm/ocaml/cic_omdoc/.depend b/helm/ocaml/cic_omdoc/.depend
new file mode 100644 (file)
index 0000000..1ec9054
--- /dev/null
+++ b/helm/ocaml/cic_omdoc/.depend
@@ -0,0 +1,9 @@
+contentPp.cmi: content.cmi 
+doubleTypeInference.cmo: doubleTypeInference.cmi 
+doubleTypeInference.cmx: doubleTypeInference.cmi 
+cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi 
+cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi 
+content.cmo: content.cmi 
+content.cmx: content.cmi 
+contentPp.cmo: content.cmi contentPp.cmi 
+contentPp.cmx: content.cmx contentPp.cmi