mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
OpenDJ server documentation sources are under src/main/docbkx.
