RFR: JDK-8304689: Add hidden option to disable external spec page

[Andrey Turbanov]

On Tue, 21 Mar 2023 21:08:01 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a change to introduce a hidden option to temporarily disable the "External Specifications" page while we add `@spec` tags, and until we have a critical mass of such tags.

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java line 355:

> 353:                 new Hidden(resources, "--no-external-specs-page") {
> 354:                     @Override
> 355:                     public boolean process(String opt,  List<String> args) {

nit
Suggestion:

                    public boolean process(String opt, List<String> args) {

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13127#discussion_r1144436694