This commit was manufactured by cvs2svn to create branch 'init'.

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

diff --git a/helm/xmltheory/FakeCoq_vo2xml/README b/helm/xmltheory/FakeCoq_vo2xml/README
deleted file mode 100644 (file)
index 4accfca..0000000
--- a/helm/xmltheory/FakeCoq_vo2xml/README
+++ /dev/null
@@ -1,3 +0,0 @@
-# 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