mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b3d20f | patch | commitdiff
Mark Craig
31.42.2015 4d99924fafab3748bfd7f594e6093050d37dcbdb
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, March 31, 2015 15:42 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, March 31, 2015 15:42 +0200
commit4d99924fafab3748bfd7f594e6093050d37dcbdb
tree 1ec1eaeb573aeb6abe90b0bcb39db7221f73854d tree | zip | gz
parent b3d20f322e780bd11754d4b0e2b9615c97a40d5c view | diff 
CR-6523 OPENDJ-1896 Facilitate debugging man page generation

This patch adds a message on failure that indicates
the command to use for debugging.
1 files modified
15 ■■■■■ changed files
opendj-sdk/opendj-maven-plugin/src/main/java/org/forgerock/opendj/maven/GenerateRefEntriesMojo.java 15 ●●●●● diff | view | raw | blame | history