mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 71cc55 | patch | commitdiff
Mark Craig
01.08.2015 89872014128558ab6fbc69d727ce1da0bad42157
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
commit89872014128558ab6fbc69d727ce1da0bad42157
tree 61365659fb01ae3e72416d7b0439f26d82ad1a9f tree | zip | gz
parent 71cc55da9ba5f23e25c7f5aea50ed7ff039372e1 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-sdk/opendj-server-legacy/pom.xml 13 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history