- From: Bjoern Hoehrmann <derhoermi@gmx.net>
- Date: Wed, 10 Oct 2001 18:21:37 +0200
- To: "Patrick Lok" <plok@inktomi.com>
- Cc: html-tidy@w3.org
* Patrick Lok wrote:
>I've attached 2 HTML files which produces different results.
>
>Aladdin.html produces no DOCTYPE.
I think this is fine.
>ATimeToKill.html produces <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2
>Final//EN">
The else branch (commented with /* proprietary */) in
lexer.c:SetXHTMLDocType(...) needs to remove the doctype
node from the document.
--
Björn Höhrmann { mailto:bjoern@hoehrmann.de } http://www.bjoernsworld.de
am Badedeich 7 } Telefon: +49(0)4667/981028 { http://bjoern.hoehrmann.de
25899 Dagebüll { PGP Pub. KeyID: 0xA4357E78 } http://www.learn.to/quote/
Received on Wednesday, 10 October 2001 12:22:45 UTC