git: openjdk/jdk17u-dev: 8274211: Test man page that options are documented

Wed Sep 27 07:45:06 UTC 2023

Changeset: 858c53b9
Author:    Goetz Lindenmaier <goetz at openjdk.org>
Date:      2023-09-27 07:42:45 +0000
URL:       https://git.openjdk.org/jdk17u-dev/commit/858c53b90ea918434b3176e8f6fb690e30830423

8274211: Test man page that options are documented

Backport-of: 734d1fbd33be0aa20b26e6e8c776709f478069de

+ test/langtools/jdk/javadoc/tool/CheckManPageOptions.java