Initial revision

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

diff --git a/helm/xmltheory/XmlTheory/Make b/helm/xmltheory/XmlTheory/Make
new file mode 100644 (file)
index 0000000..a927b63
--- /dev/null
+++ b/helm/xmltheory/XmlTheory/Make
@@ -0,0 +1,5 @@
+-R . Bologna.XmlTheory
+-I $(COQTOP)/contrib/xml
+XmlTheory.v
+iXml.ml
+xmltheoryentries.ml