mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: de8dbc | patch | commitdiff
Mark Craig
28.39.2014 3daa16df0a3c316b670e52721c85d7822505c5fa
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 09:39 +0100
committer Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 09:39 +0100
commit3daa16df0a3c316b670e52721c85d7822505c5fa
tree 43a31f7f669a59330c03f1c485575904459deb88 tree | zip | gz
parent de8dbc0e24f3e0a637b79d3b9d6b3c8f22cc642d 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.
3 files modified
20 ■■■■■ changed files
opendj-sdk/opends/pom.xml 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/pom.xml 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/src/site/xdoc/docs.xml 12 ●●●●● diff | view | raw | blame | history