Integrated: JDK-8274211: Test man page that options are documented

[Jonathan Gibbons]

On Wed, 6 Oct 2021 03:01:25 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a new test to compare the set of options documented in the javadoc man page against the set of options declared in the source.
> 
> Since there is currently a disparity, an "exception" mechanism is included so that the test can pass.   When the options have been added to the man page, this test is designed to fail, and the relevant strings should be removed from the `MISSING_IN_MAN_PAGE` list.
> 
> Test runs on all supported platforms.

This pull request has now been integrated.

Changeset: 734d1fbd
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/734d1fbd33be0aa20b26e6e8c776709f478069de
Stats:     287 lines in 1 file changed: 287 ins; 0 del; 0 mod

8274211: Test man page that options are documented

Reviewed-by: prappo

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

PR: https://git.openjdk.java.net/jdk/pull/5833