Additional fix for DOCS-21: Release documentation builds should include pro...

Mark Craig

27.00.2013 688853499187ddbfb021efb93932c6ab4e2fbb6c

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