tools/coq_vo2xml removed since no longer in use.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5603 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 69 deletions

diff --git a/man/coq_vo2xml.1 b/man/coq_vo2xml.1
deleted file mode 100644
index 21be67b77..000000000
--- a/man/coq_vo2xml.1
+++ /dev/null
@@ -1,69 +0,0 @@
-.TH COQ 1 "April 25, 2001"
-
-.SH NAME
-coq_vo2xml \- Exports the content of a Coq module to XML
-
-
-.SH SYNOPSIS
-.B coq_vo2xml
-[
-.B general \ Coq \ options
-]
-[
-.B -image
-.I f
-]
-[
-.B -t
-]
-[
-.B -xml-library-root
-.I d
-]
-.IR module " .\|.\|."
-
-
-.SH DESCRIPTION
-
-.B coq_vo2xml
-is a tool to export the content of a Coq module to XML.
-Because it executes coqtop(1), it recognizes a superset of its options.
-ones:
-.PP
-.B -image
-.IR f
-overrides the coqtop(1) executable with
-.IR f "."
-.PP
-.B -t
-does not remove the temporary file fed to coqtop(1).
-.PP
-.B -xml-library-root
-.IR d
-sets the path to the root of the XML library to
-.IR d ","
-overriding the value of $XML_ROOT_LIBRARY. The root of the XML library
-must be specified, either using the flag or setting the variable.
-.PP
-.IR module \&
-is the name of the module to export. The file module.vo will be searched in the
-Coq path by coqtop(1).
-The compiler produces a whole tree of XML files and directories rooted in the
-specified XML root library.
-
-.SH OPTIONS
-
-.TP
-.BI \-h
-Will give you a description of the whole list of options of coq_vo2xml,
-including the ones of coqtop(1).
-
-.SH SEE ALSO
-
-.BR coqtop (1),
-.BR coq_makefile (1),
-.br
-.I
-The Coq Reference Manual.
-.I
-The Coq web site: http://coq.inria.fr