RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint [v4]
Guoxiong Li
gli at openjdk.java.net
Thu May 27 14:26:13 UTC 2021
On Thu, 27 May 2021 00:54:25 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:
>> Guoxiong Li has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains five commits:
>>
>> - Merge branch 'master' into JDK-8230623
>> - Update copyright
>> - Merge branch 'master' into JDK-8230623
>> - Remove the content in documentation javac.1
>> - 8230623: Extract command-line help for -Xlint sub-options to new --help-lint
>
> Approved, with some minor suggestions to improve the text in the resource file.
>
> Thanks for hanging in there with this one.
@jonathan-gibbons The man documentation `javac.1` needs to be revised, too. Could I get your help to revise it? Thanks a lot.
-------------
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list