mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7cf193 | patch | commitdiff
Mark Craig
30.32.2015 4376c7e4666722284403c383c2b1a685c8f55ac4
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, July 30, 2015 09:32 +0200
committer Mark Craig <mark.craig@forgerock.com>
Thursday, July 30, 2015 09:32 +0200
commit4376c7e4666722284403c383c2b1a685c8f55ac4
tree 75261336123dd9d0b4721d6c624934ab0f6f557d tree | zip | gz
parent 7cf193c0ab93d47b953469a8681a06a17d148130 view | diff 
OPENDJ-2195 Additional fix for man-pages build break

The doc build tools require an entry point, default index.xml,
in order to find the man pages to be built.
1 files modified
1 files added
174 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/assembly/man-pages-assembly.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/src/main/docbkx/man-pages/index.xml 172 ●●●●● diff | view | raw | blame | history