git: openjdk/jdk: 8304689: Add hidden option to disable external spec page

[Jonathan Gibbons]

Changeset: 2f34687e
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2023-03-27 15:42:10 +0000
URL:       https://git.openjdk.org/jdk/commit/2f34687ec1210317a9215496d0184fe30bda6437

8304689: Add hidden option to disable external spec page

Reviewed-by: erikj, hannesw

! make/Docs.gmk
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java
! test/langtools/jdk/javadoc/doclet/testSpecTag/TestSpecTag.java