mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8584a2 | patch | commitdiff
Mark Craig
28.33.2014 de8dbc0e24f3e0a637b79d3b9d6b3c8f22cc642d
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 09:33 +0100
committer Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 09:33 +0100
commitde8dbc0e24f3e0a637b79d3b9d6b3c8f22cc642d
tree 98ea030e723de5a865c5d9f0447feb60c420ded6 tree | zip | gz
parent 8584a249b9d90d73eed693fbef3302b33f8d6345 view | diff 
CR-3284 Move to latest doc tools

This introduces a dependency on a -SNAPSHOT in order to check that everything runs fine in Jenkins as well before the release, which is coming real soon now.

If ever the whole thing goes wrong, or we cannot release, I'll revert to remove the -SNAPSHOT dependency.
2 files modified
14 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3-server-dev/src/site/xdoc/docs.xml 12 ●●●●● diff | view | raw | blame | history