[aarch64-port-dev ] git: openjdk/aarch64-port: master: 8274211: Test man page that options are documented

[Jonathan Gibbons]

Changeset: 734d1fbd
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2021-10-06 22:40:44 +0000
URL:       https://git.openjdk.java.net/aarch64-port/commit/734d1fbd33be0aa20b26e6e8c776709f478069de

8274211: Test man page that options are documented

Reviewed-by: prappo

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