From beedb0b3bfafebc8dec5cb6b2151e9c3dbe29679 Mon Sep 17 00:00:00 2001
From: ben <ben@cda61777-01e9-0310-a592-d414129be87e>
Date: Sat, 18 Nov 2006 21:39:58 +0000
Subject: [PATCH] Explicitly explain the meaning of each HTML variant.

git-svn-id: svn://svn.tartarus.org/sgt/halibut@6913 cda61777-01e9-0310-a592-d414129be87e
---
 doc/output.but | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/doc/output.but b/doc/output.but
index 4df4502..9f4e1d9 100644
--- a/doc/output.but
+++ b/doc/output.but
@@ -704,20 +704,30 @@ directive (see \k{output-text-characters}).
 
 \dd Identifies the precise version of HTML that is output. This
 affects the declaration within the HTML, and also has minor effects on
-the body of the HTML so that it is valid for the declare version. The
+the body of the HTML so that it is valid for the declared version. The
 available variants are:
 
 \lcont{
 
-\b \cw{html3.2}
+\dt \cw{html3.2}
 
-\b \cw{html4}
+\dd W3C HTML 3.2
 
-\b \cw{iso-html}
+\dt \cw{html4}
 
-\b \cw{xhtml1.0transitional}
+\dd W3C HTML 4.01 Strict
 
-\b \cw{xhtml1.0strict}
+\dt \cw{iso-html}
+
+\dd ISO/IEC 15445:2000
+
+\dt \cw{xhtml1.0transitional}
+
+\dd W3C XHTML 1.0 Transitional
+
+\dt \cw{xhtml1.0strict}
+
+\dd W3C XHTML 1.0 Strict
 
 }
 
-- 
2.11.0