git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 2f34687e
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2023-03-27 15:42:10 +0000
URL:       https://git.openjdk.org/mobile/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

Changeset: 3e9df2eb
Author:    duke <duke at openjdk.org>
Date:      2023-03-27 15:43:08 +0000
URL:       https://git.openjdk.org/mobile/commit/3e9df2eb8de1ea4471534e70684ed54b13a9cdee

Automatic merge of jdk:master into master