mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8470b6 | patch | commitdiff
Mark Craig
07.03.2015 f40b9e881e95f3e93fff86777edd4c31b81f275f
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, April 7, 2015 17:03 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, April 7, 2015 17:03 +0200
commitf40b9e881e95f3e93fff86777edd4c31b81f275f
tree 6f5108de7450020b8cc2dbf01ee8fd8bcaed7d66 tree | zip | gz
parent 8470b6df58757cf0140d4860702b2d5fc613a7ed view | diff 
CR-6575 OPENDJ-1912 Move doc source generation to a profile

This patch speeds up a basic clean install
by moving doc generation out of the common path into a profile.

This patch requires that both native package builds and also doc builds
now use -Pman-pages to build the man pages.

Otherwise the build breaks with a message:
Man pages not found. You must build with -P man-pages.
2 files modified
1053 ■■■■■ changed files
opendj-ldap-toolkit/pom.xml 303 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/pom.xml 750 ●●●●● diff | view | raw | blame | history