Explicitly explain the meaning of each HTML variant.

git-svn-id: svn://svn.tartarus.org/sgt/halibut@6913 cda61777-01e9-0310-a592-d414129be87e

diff --git a/doc/output.but b/doc/output.but
index 4df4502..9f4e1d9 100644 (file)
--- 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
 
 \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{
 
 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

 
 }
 
 
 }