mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 71728b | patch | commitdiff
Mark Craig
18.09.2016 27e2cb1027ed6bc205709990f2b95bcba33f3468
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, March 18, 2016 15:09 +0100
committer Mark Craig <mark.craig@forgerock.com>
Friday, March 18, 2016 15:09 +0100
commit27e2cb1027ed6bc205709990f2b95bcba33f3468
tree 70aa4d832a198c67f067932fc7d951a985521c72 tree | zip | gz
parent 71728b4ba6e38db504898803f2535f1bb638ce2a view | diff 
Update to latest doc build plugin version

This tiny patch updates the doc build plugin to the latest release.
Tested locally. It's amazing how long it takes to transform XML into man pages.

When this patch is applied, it would be nice to add `-Dverbose=true` to the Jenkins job.
Otherwise the latest doc build plugin is very quiet.
1 files modified
4 ■■■■■ changed files
opendj-man-pages/pom.xml 4 ●●●●● diff | view | raw | blame | history