git: openjdk/jdk: 6251738: Want a top-level summary page that itemizes all spec documents referenced from javadocs (OEM spec)

[Jonathan Gibbons]

Changeset: b88ee1ee
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2022-09-26 21:28:39 +0000
URL:       https://git.openjdk.org/jdk/commit/b88ee1ee22a4ea859f2a7bdf80a12c1d56fe6fd2

6251738: Want a top-level summary page that itemizes all spec documents referenced from javadocs (OEM spec)

Reviewed-by: hannesw

! make/Docs.gmk
! src/jdk.compiler/share/classes/com/sun/source/doctree/DocTree.java
! src/jdk.compiler/share/classes/com/sun/source/doctree/DocTreeVisitor.java
+ src/jdk.compiler/share/classes/com/sun/source/doctree/SpecTree.java
! src/jdk.compiler/share/classes/com/sun/source/util/DocTreeFactory.java
! src/jdk.compiler/share/classes/com/sun/source/util/DocTreeScanner.java
! src/jdk.compiler/share/classes/com/sun/source/util/SimpleDocTreeVisitor.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/parser/DocCommentParser.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DCTree.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DocPretty.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DocTreeMaker.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Contents.java
+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ExternalSpecsWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HelpWriter.java
! 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/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Navigation.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/TagletWriterImpl.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlStyle.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/SpecTaglet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/TagletManager.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/TagletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/CommentHelper.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocPaths.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/IndexItem.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Utils.java
! test/langtools/jdk/javadoc/doclet/testConditionalPages/TestConditionalPages.java
! test/langtools/jdk/javadoc/doclet/testMetadata/TestMetadata.java
+ test/langtools/jdk/javadoc/doclet/testSpecTag/TestSpecTag.java
! test/langtools/jdk/javadoc/doclet/testTaglets/TestTaglets.out
! test/langtools/jdk/javadoc/tool/CheckManPageOptions.java
+ test/langtools/tools/javac/diags/examples/NoTitle.java
+ test/langtools/tools/javac/diags/examples/NoURL.java
! test/langtools/tools/javac/doctree/DocCommentTester.java
+ test/langtools/tools/javac/doctree/SpecTest.java
! test/langtools/tools/javac/lib/DPrinter.java