CR-6147 OPENDJ-1785 Add "extra" doc into code for generated content

Mark Craig

20.18.2015 27d398c0bcca6adaf643fa3f6fd02ed67ff4adf1

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