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 ------ 1 file changed, 6 deletions(-) (limited to 'man/coqide.1') diff --git a/man/coqide.1 b/man/coqide.1 index 785a4a4c6..3fa7f0e41 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 -- cgit v1.2.3