This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / xmltheory / XmlTheory / .depend

diff --git a/helm/xmltheory/XmlTheory/.depend b/helm/xmltheory/XmlTheory/.depend
deleted file mode 100644 (file)
index 2b814a9..0000000
--- a/helm/xmltheory/XmlTheory/.depend
+++ /dev/null
@@ -1,8 +0,0 @@
-xmltheoryentries.cmo: xmltheoryentries.ml iXml.cmi
-xmltheoryentries.cmx: xmltheoryentries.ml iXml.cmx
-iXml.cmo: iXml.ml iXml.cmi
-iXml.cmx: iXml.ml iXml.cmi
-iXml.cmi: iXml.mli
-XmlTheory.vo: XmlTheory.v iXml.cmo xmltheoryentries.cmo
-XmlTheory.vi: XmlTheory.v iXml.cmo xmltheoryentries.cmo
-XmlTheory.html: XmlTheory.v iXml.cmo xmltheoryentries.cmo