DOCTYPE definition

Maybe it's a FAQ, but I'm a little confused about the use of the
DOCTYPE definition in HTML 2.0, like

<!DOCTYPE HTML PUBLIC "-//W3O//DTD W3 HTML 2.0//EN">

The practical problem is that LaTeX2html and other converters insert
this tag at the beginning of the translated document, but weblint, the
tool that I run for HTML syntax checking, complains about its use.

May someone explain me the status of this stuff?

Thanks
Alessio Bragadini

-- 
-----------------------------------------------------------------------------
           Alessio F. Bragadini - University of Pisa, Europe
       <A href="http://www.di.unipi.it/~abragad/">(more here)</A>
                            abragad@di.unipi.it

               "You must remember this, a sig is just a sig."
                             (From Casablanca)
-----------------------------------------------------------------------------

Received on Monday, 21 November 1994 12:37:50 UTC