mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 59b709 | patch | commitdiff
Mark Craig
28.39.2014 10d3163f71b4d0f30179398a3936d63b5856a8e7
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
commit10d3163f71b4d0f30179398a3936d63b5856a8e7
tree ce96595ab8b89a310092bbdcda7f2f35aafe75f5 tree | zip | gz
parent 59b709cb77f311b38e7726736deaeb0492613a33 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
opends/pom.xml 4 ●●●●● diff | view | raw | blame | history
pom.xml 4 ●●●●● diff | view | raw | blame | history
src/site/xdoc/docs.xml 12 ●●●●● diff | view | raw | blame | history