--- lexer_v3.l 5 Nov 2003 13:34:02 -0000 1.109 +++ lexer_v3.l 7 Nov 2003 04:23:27 -0000 @@ -291,6 +291,8 @@ ">" { BEGIN HTML; } /* end of tag, loose comment; return to normal html processing */ "-->" { BEGIN HTML; } /* end of strict comment; return to normal html processing */ +"<"\!DOCTYPE\ HTML\ PUBLIC\ .*">" { BEGIN HTML; } + {IPADDR} { return IPADDR;} {TOKEN} { return TOKEN;}