15 Nov
2024
15 Nov
'24
3:11 p.m.
On Fri, 15 Nov 2024 15:00:39 GMT, Christian Stein <cstein@openjdk.org> wrote:
Magnus Ihse Bursie has updated the pull request incrementally with one additional commit since the last revision:
Fix regexes in CheckManPageOptions
test/langtools/jdk/javadoc/tool/CheckManPageOptions.java line 277:
275: 276: // In the defining areas, option names are represented as follows: 277: // `OPTION` or `OPTION`
`OPTION` or `OPTION` ... where's the difference?
Some options have multiple variants displayed on a single row, like: `--classpath` or `-cp` This was handled in the troff format but not updated for markdown. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22081#discussion_r1843969778