On Wed, 6 Oct 2021 10:39:19 GMT, Pavel Rappo <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> address review comments
>
> test/langtools/jdk/javadoc/tool/CheckManPageOptions.java line 95:
>
>> 93: toolDocletOnly.removeAll(MISSING_IN_MAN_PAGE);
>> 94: if (!toolDocletOnly.isEmpty()) {
>> 95: error(" The following options are defined by the tool or
>> doclet, but not defined in the man page:\n"
>
> Remove stray whitespace:
> Suggestion:
>
> error("The following options are defined by the tool or doclet,
> but not defined in the man page:\n"
👍
> test/langtools/jdk/javadoc/tool/CheckManPageOptions.java line 287:
>
>> 285: return list;
>> 286: }
>> 287: }
>
> Add trailing newline.
👍
-------------
PR: https://git.openjdk.java.net/jdk/pull/5833
