Catalog Errors in DocBook V5.1CR3

Hi,

the "catalog.xml" file in DocBook V5.1CR3 contains a DBVER
placeholder which was not replaced. For example:

  <public publicId="-//OASIS//DTD DocBook XML DBVER//EN"
  uri="dtd/docbook.dtd"/>

and a comment above:

  This is the source format for the catalog; replace DBVER with the
  appropriate versions before publishing it!

Could somebody please correct it?

Another issue in regards to the DocBook 5.x schemas: It would be much
more convenient to have a ZIP or Tar ball for all DocBook 5.1
releases. :)

Please consider it making downloading more user friendly.


-- 
Gruß/Regards,
    Thomas Schraitle