FPI and URI for dtd

SGML gurus,

I'm in the process of starting of set of documents to build a test 
suite for HTML 4.01 and XHTML 1.0 and I have detected something that 
seems to NOT be a problem for the HTML validator. :)

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
"http://www.w3.org/TR/html4/foo.dtd">
<HTML>
    <HEAD>
       <TITLE>My first HTML document</TITLE>
    </HEAD>
    <BODY>
       <P>Hello world!</P>
    </BODY>
</HTML>

is a valid document although the FPI and the dtd are not the same. 
Should we modify the validator to make it warning when it's the case?

I think it should be better to warn users to have a stricter code.

thanks.


-- 
Karl Dubost / W3C - Conformance Manager
           http://www.w3.org/QA/

      --- Be Strict To Be Cool! ---

Received on Tuesday, 13 March 2001 04:05:49 UTC