docbook-xml-dtd-4.2-r3
