On Tue, 15 Nov 2022 23:32:24 GMT, Pavel Rappo <[email protected]> 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
