xml.data: some lint fixes.

db4
John Benediktsson 2012-07-12 19:24:18 -07:00
parent c9da03fe6d
commit 7552cf1c8e
2 changed files with 4 additions and 2 deletions

View File

@ -201,7 +201,7 @@ HELP: notation-decl
{ $class-description "Describes the class of element declarations, like " { $snippet "<!NOTATION jpg SYSTEM './jpgviewer'>" } "." } ;
HELP: <notation-decl>
{ $values { "name" string } { "id" id } { "notation-decl" notation-decl } }
{ $values { "name" string } { "id" string } { "notation-decl" notation-decl } }
{ $description "Creates an notation declaration object, of the class " { $link notation-decl } "." } ;
HELP: doctype-decl

View File

@ -110,6 +110,8 @@ C: <system-id> system-id
TUPLE: public-id { pubid-literal string } { system-literal string } ;
C: <public-id> public-id
UNION: id system-id public-id ;
TUPLE: dtd
{ directives sequence }
{ entities assoc }
@ -118,7 +120,7 @@ C: <dtd> dtd
TUPLE: doctype-decl < directive
{ name string }
{ external-id maybe{ system-id public-id } }
{ external-id maybe{ id } }
{ internal-subset maybe{ dtd } } ;
C: <doctype-decl> doctype-decl