RFR: JDK-8274211: Test man page that options are documented [v2]

[Jonathan Gibbons]

On Wed, 6 Oct 2021 10:39:19 GMT, Pavel Rappo <prappo at openjdk.org> 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