RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint
jjg at openjdk.java.net
Wed Dec 16 18:36:57 UTC 2020
On Sun, 13 Dec 2020 14:20:45 GMT, Guoxiong Li <github.com+13688759+lgxbslgx at openjdk.org> wrote:
> Hi all,
> This patch splits out the concrete keys of -Xlint into a new option, --help-lint,
> so that the output of --help-extra is kept clean and concise.
> Thank you for taking the time to review.
> Best Regards.
Because a new option is being added, a CSR approval is required.
src/jdk.compiler/share/man/javac.1 line 643:
> 641: .RS
> 642: .RE
> 643: .TP
This change is somewhat problematic. The nroff man files are generated from Markdown files which are not (yet) open source. Don't ask: long story; we're working on it.
The bottom line is that this change should really be made to the upstream Markdown file. Direct changes to this file are at risk of being overwritten at some point in the future.
More information about the compiler-dev