{ $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
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 }
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