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

Tue Mar 21 21:35:41 UTC 2023

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.

Build change looks ok.

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

Marked as reviewed by erikj (Reviewer).

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