</html> followed by spaces (detailed review of Writing HTML documents)

• From: Simon Pieters <simonp@opera.com>
• Date: Sat, 01 Sep 2007 17:47:31 +0200
• To: public-html <public-html@w3.org>
• Message-ID: <op.txzfhhp2idj3kv@hp-a0a83fcd39d2.palace.opera.no>

(This is part of my detailed review of the Writing HTML documents section.)

The spec says about optional tags:

    An html element's end tag may be omitted if the html element is not
    immediately followed by a space character or a comment.

However, since spaces after the </html> tag will be inserted into the html  
element by the parser anyway, the </html> tag might well be allowed to be  
omitted when it is followed by space characters (but not when those in  
turn are followed by a comment).

-- 
Simon Pieters
Opera Software

Received on Saturday, 1 September 2007 15:47:41 UTC