FPI and URI for dtd

From: Karl Dubost (karl@w3.org)
Date: Tue, Mar 13 2001

  • Next message: Nick Kew: "Re: FPI and URI for dtd" 

    Message-Id: <p05010401b6d39144cc3e@[138.96.249.69]>
Date: Tue, 13 Mar 2001 09:06:01 +0000
To: www-validator@w3.org
From: Karl Dubost <karl@w3.org>
Subject: 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! ---