DocBook updates

Hi folks,  Please consider  https://github.com/docbook/docbook/pull/137  a friendly ammendment to DocBook 5.0b08.  You may also find the updated documentation tdg.docbook.org useful.
Be seeing you,
norm

--
Norman Tovey-Walsh <>  https://nwalsh.com/
> The hour which gives us life begins to take it away.--Seneca
Attachment:
signature.asc
Description:  PGP signature