Update to the latest doc build tools release

Mark Craig

25.43.2014 bb4480f5cd511602a88ea2ad9d3ef7c3439a0e9f

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.