Remove proprietary XML output option.

It has been deprecated for years, and was announced to be removed in 0.8
in 2006 but has stuck around for some reason until now.

1 files changed, 6 insertions, 10 deletions

diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html
index 8e239aa..62fb51b 100755
--- a/htdocs/docs/users.html
+++ b/htdocs/docs/users.html
@@ -1,5 +1,5 @@
-<!--#set var="revision" value="\$Id: users.html,v 1.35 2009-09-27 18:27:14 ville Exp $"
---><!--#set var="date" value="\$Date: 2009-09-27 18:27:14 $"
+<!--#set var="revision" value="\$Id: users.html,v 1.36 2009-10-23 20:46:02 ville Exp $"
+--><!--#set var="date" value="\$Date: 2009-10-23 20:46:02 $"
 --><!--#set var="title" value="User Documentation for The W3C Markup Validation Service"
 --><!--#set var="relroot" value="../"
 --><!--#include virtual="../header.html" -->
@@ -318,19 +318,15 @@
         <a href="http://wiki.whatwg.org/wiki/Validator.nu_JSON_Output">JSON
           output for validator.nu</a>.
       </dd>
-      <dt id="output-xml">XML (<code>output=xml</code>)</dt>
-      <dd>
-        This output option has been deprecated, and will be removed from future
-        versions of the validator.
-      </dd>
     </dl>
 
     <h4 id="deprecated_options">Deprecated options</h4>
     <p>
       A number of options once available  have been deprecated and are not
-      available any more. These includee the <em>Show parse tree</em> and
-      <em>exclude attributes from the parse tree</em>, as well as <em>Show
-        ESIS</em> and <em>Show raw errors</em> options.
+      available any more. These include the <em>Show parse tree</em> and
+      <em>exclude attributes from the parse tree</em>, as well as
+      <em>Show ESIS</em> and <em>Show raw errors</em> options, and the
+      <code>xml</code> output option.
     </p>
   </div>