From 51d38d0892eae4a253356e52614da6dee6513e9e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 8 Sep 2014 19:38:27 +0200
Subject: Removing dead code relative to the XML plugin.

---
 man/coqide.1 | 6 ------
 man/coqtop.1 | 6 ------
 2 files changed, 12 deletions(-)

(limited to 'man')

diff --git a/man/coqide.1 b/man/coqide.1
index 785a4a4c67..3fa7f0e418 100644
--- a/man/coqide.1
+++ b/man/coqide.1
@@ -121,12 +121,6 @@ Set sort Set impredicative.
 .TP
 .B \-dont\-load\-proofs
 Don't load opaque proofs in memory.
-.TP
-.B \-xml
-Export XML files either to the hierarchy rooted in
-the directory
-.B COQ_XML_LIBRARY_ROOT
-(if set) or to stdout (if unset).
 
 
 .SH SEE ALSO
diff --git a/man/coqtop.1 b/man/coqtop.1
index 068a5072b4..1bc4629d0f 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -152,12 +152,6 @@ set sort Set impredicative
 .B \-dont\-load\-proofs
 don't load opaque proofs in memory
 
-.TP
-.B \-xml
-export XML files either to the hierarchy rooted in
-the directory $COQ_XML_LIBRARY_ROOT (if set) or to
-stdout (if unset)
-
 .SH SEE ALSO
 
 .BR coqc (1),
-- 
cgit v1.2.3