Initial revision

[helm.git] / helm / xmltheory / FakeCoq_vo2xml / README

diff --git a/helm/xmltheory/FakeCoq_vo2xml/README b/helm/xmltheory/FakeCoq_vo2xml/README
new file mode 100644 (file)
index 0000000..4accfca
--- /dev/null
+++ b/helm/xmltheory/FakeCoq_vo2xml/README
@@ -0,0 +1,3 @@
+# This coq_vo2xml must be put in PATH before the real coq_vo2xml.
+# It's aim is to run coq_v2theoryxml instead of coq_vo2xml
+# Remember to set $XML_THEORY_LIBRARY_ROOT before starting this coq_vo2xml