mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 00de66 | patch | commitdiff
Mark Craig
30.32.2015 c0399c3fcc9ecf3aa84c2d0a3f14931c90865c12
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
commitc0399c3fcc9ecf3aa84c2d0a3f14931c90865c12
tree 5f13538139bad14e3d2534c60fb032234d836a60 tree | zip | gz
parent 00de66c59fc4c113eea617cc7deecaddeecba062 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 added
1 files modified
174 ■■■■■ changed files
opendj-server-legacy/src/main/assembly/man-pages-assembly.xml 2 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/docbkx/man-pages/index.xml 172 ●●●●● diff | view | raw | blame | history