Initial revision

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

diff --git a/helm/xmltheory/XmlTheory/.depend b/helm/xmltheory/XmlTheory/.depend
new file mode 100644 (file)
index 0000000..2b814a9
--- /dev/null
+++ b/helm/xmltheory/XmlTheory/.depend
@@ -0,0 +1,8 @@
+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