DOCBOOK: Troubles with dbcentx.mod

[Daniel Veillard <Daniel.Veillard@imag.fr>]

  Found that Red Hat 7.1 ships a docbook XML package with the 4.1.2
Dtds, this looks great so I try it ... and my parser chokes on it.

orchis:~/XML -> ./xmllint --valid --noent --noout panel.xml 
file:///usr/share/sgml/docbook/xml-dtd-4.1/dbcentx.mod:53: error: Space required after the Public Identifier
ISOamsa PUBLIC "ISO 8879:1986//ENTITIES Added Math Symbols: Arrow Relations//EN


  Looking at the file it says:

---------------------
<!-- DocBook XML character entities module V4.1 ........................... -->
[...]
$Id: dbcentx.mod,v 1.7 2000/06/19 14:40:17 nwalsh Exp $
[...]
<!ENTITY % ISOamsa.module "INCLUDE">
<![%ISOamsa.module;[
<!ENTITY % ISOamsa PUBLIC "ISO 8879:1986//ENTITIES Added Math Symbols: Arrow Relations//EN">
%ISOamsa;
<!--end of ISOamsa.module-->]]>
[...]
---------------------

  But the XML spec only allows PUBLIC ids if followed by a SYSTEM one:

  http://www.w3.org/TR/REC-xml#sec-entity-decl

[72]   PEDecl ::=   '<!ENTITY' S '%' S Name S PEDef S? '>'
[74]   PEDef ::=   EntityValue | ExternalID
[75]   ExternalID ::=   'SYSTEM' S SystemLiteral
                      | 'PUBLIC' S PubidLiteral S SystemLiteral 

  So the question is:
    - did Red Hat shipped a wrong (or old/buggy) version ?
    - is this file actually need to be fixed in the DocBook XML distrib ?
    - or did I missed something ?

  thanks,

Daniel

-- 
Daniel Veillard      | Red Hat Network http://redhat.com/products/network/
veillard@redhat.com  | libxml Gnome XML XSLT toolkit  http://xmlsoft.org/
http://veillard.com/ | Rpmfind RPM search engine http://rpmfind.net/