Work around doc build break pending fix for OPENDJ-1538

Mark Craig

30.56.2014 68105b41edbe2b155328749b067bdc62ddd56482

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