JAVA_HOME should be documented as discriminating #852

This commit is contained in:
Peter Palaga
2023-05-22 14:30:30 +02:00
parent 82e42e6e64
commit 7d9a39be1a
2 changed files with 19 additions and 4 deletions

View File

@@ -121,7 +121,7 @@ public class MvndHelpFormatter {
spaces(help, indentPos - help.length());
wrap(help, toPlainText(entry.getJavaDoc()), terminalWidth, lineEnd, indent);
if (env.isDiscriminating()) {
if (env.isDocumentedAsDiscriminating()) {
indentedLine(help, terminalWidth, "This is a discriminating start parameter.", indent);
}
if (env.getDefault() != null) {