mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b59513 | patch | commitdiff
Mark Craig
28.33.2014 59b709cb77f311b38e7726736deaeb0492613a33
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
commit59b709cb77f311b38e7726736deaeb0492613a33
tree 737fd2e1d0e3c9a71d7c0c6f644dac6d658ee17c tree | zip | gz
parent b59513ba8fdecd6b4a7c2b27cb2c20acd8837f1d 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
opendj3-server-dev/pom.xml 2 ●●●●● diff | view | raw | blame | history
opendj3-server-dev/src/site/xdoc/docs.xml 12 ●●●●● diff | view | raw | blame | history