Reshaped structure of ocaml/ libraries.

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

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
deleted file mode 100644 (file)
index 3510045..0000000
--- a/helm/ocaml/cic_transformations/.depend
+++ /dev/null
@@ -1,14 +0,0 @@
-cic2Xml.cmo: cic2Xml.cmi 
-cic2Xml.cmx: cic2Xml.cmi 
-content2pres.cmo: content2pres.cmi 
-content2pres.cmx: content2pres.cmi 
-sequent2pres.cmo: sequent2pres.cmi 
-sequent2pres.cmx: sequent2pres.cmi 
-domMisc.cmo: domMisc.cmi 
-domMisc.cmx: domMisc.cmi 
-xml2Gdome.cmo: xml2Gdome.cmi 
-xml2Gdome.cmx: xml2Gdome.cmi 
-applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi domMisc.cmi \
-    content2pres.cmi applyTransformation.cmi 
-applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx domMisc.cmx \
-    content2pres.cmx applyTransformation.cmi