Workaround for OPENDJ-1394: Admin guide hangs PDF build

Mark Craig

04.51.2014 214957f5db45ec74277707babad58d9b548cdb90

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