On Wed, 6 Oct 2021 03:01:25 GMT, Jonathan Gibbons <j...@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 <j...@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
