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

---
 man/coqtop.1 | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'man/coqtop.1')

diff --git a/man/coqtop.1 b/man/coqtop.1
index 068a5072b..1bc4629d0 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