RFR: JDK-8297164: Update troff man pages and CheckManPageOptions.java [v2]

[Daniel Fuchs]

On Mon, 21 Nov 2022 17:54:15 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Please review an update for the troff man pages, following the recent update to upgrade to use pandoc 2.19.2
>> (See https://bugs.openjdk.org/browse/JDK-8297165)
>> 
>> In conjunction with this, one javadoc test also needs to be updated, to work with the new form of output generated by the new version of pandoc.
>
> Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains three commits:
> 
>  - Fix merge issue
>  - Merge with upstream/master
>  - JDK-8297164: Update troff man pages and CheckManPageOptions.java

The diffs are a bit difficult to read but I didn't spot anything obviously wrong with jwebserver. I could see that the new compress option was there in jmod man page too. +1.

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

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