Update the version of DocBook that is used.
Authored by: david_costanzo 2015-12-25
Parent: [r3968]
Child: [r3970]
