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

Fri Mar 24 17:00:20 UTC 2023

On Thu, 23 Mar 2023 13:37:19 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.
>
> Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java
>   
>   Co-authored-by: Andrey Turbanov <turbanoff at gmail.com>

Looks good to me!

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

Marked as reviewed by hannesw (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/13127#pullrequestreview-1357102503