mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 67f364 | patch | commitdiff
Mark Craig
07.03.2015 a79b3ad776a468f0151edd2f611605b79e4badb4
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
commita79b3ad776a468f0151edd2f611605b79e4badb4
tree 435edb42e0bcfb0f89ca62f70be9d43048f09527 tree | zip | gz
parent 67f3645ab5db82ec4b879946db632a839e63aab4 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-sdk/opendj-ldap-toolkit/pom.xml 303 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/pom.xml 750 ●●●●● diff | view | raw | blame | history