Fix errors in doctypes

stevecheckoway · stevecheckoway · commit 4022182c33de · 2021-06-26T17:46:15.000-04:00
A `&gt;` after `DOCTYPE` is a missing-doctype-name parse error but it is
not also a missing-whitespace-before-doctype-name parse error.

Doctypes with a public identifier is a (currently unnamed) parse error.
diff --git a/tree-construction/tests6.dat b/tree-construction/tests6.dat
@@ -48,7 +48,6 @@
 #data
 <!doctype>
 #errors
-(1,9): need-space-after-doctype
 (1,10): expected-doctype-name-but-got-right-bracket
 (1,10): unknown-doctype
 #new-errors
@@ -604,6 +603,7 @@ html
 #data
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"><html></html>
 #errors
+(1,50): doctype-has-public-identifier
 #document
 | <!DOCTYPE html "-//W3C//DTD HTML 4.01//EN" "">
 | <html>
