mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c8f8bb | patch | commitdiff
Mark Craig
01.08.2015 91a033f25d6db94942984df58523c11d80d85c9c
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, July 1, 2015 16:08 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, July 1, 2015 16:08 +0200
commit91a033f25d6db94942984df58523c11d80d85c9c
tree 86ba99df70eb74d0f2017c07ca57ced870c1286e tree | zip | gz
parent c8f8bbd3f2b7063321584fe045019dcc1cf5b314 view | diff 
CR-7464 OPENDJ-2187 Add server Javadoc to OpenDJ site

This patch works for me with Java 7 and the following command:
MAVEN_OPTS="-Xmx4g -XX:MaxPermSize=512m -Djava.awt.headless=true" mvn
-Pman-pages,docs -DskipTests=true clean install site
5 files modified
21 ■■■■■ changed files
opendj-server-legacy/pom.xml 13 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history
src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history