RFR: JDK-8290845: Consider an alternative item separator for multi-item option values

[Jonathan Gibbons]

On Tue, 15 Nov 2022 23:32:24 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> test/langtools/jdk/javadoc/tool/CheckManPageOptions.java line 69:
>> 
>>> 67:     static final PrintStream out = System.err;
>>> 68: 
>>> 69:     List<String> MISSING_IN_MAN_PAGE = List.of();
>> 
>> What's that about? It seems unrelated.
>
> It's as if this mainline commit somehow got into this PR: https://github.com/openjdk/jdk/commit/82f9819eaccd091c9d3a0b89979ddc13b1ef761c

I'll investigate, but it looks like just a side effect of importing the latest troff man page.

-------------

PR: https://git.openjdk.org/jdk/pull/11178