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

[Pavel Rappo]

On Tue, 24 May 2022 19:50:41 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Please review the code and tests to add support for a new `@spec url title` tag to javadoc.  Note, this does not include any changes to API doc comments to use the new tag in JDK API documentation; that will come later.
>
> Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains seven commits:
> 
>  - Merge remote-tracking branch 'upstream/master' into 6251738.spec-tag-2
>  - address review feedback
>  - fix merge issues
>  - merge with upstream/master
>  - fix whitespace and position of HtmlStyle.refList
>  - fix whitespace
>  - JDK-6251738: Want a top-level summary page that itemizes all spec documents referenced from javadocs (OEM spec)

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java line 302:

> 300: 
> 301:     /**
> 302:      * Argument for command-line option {@code --spec-base-URI}.

Have my earlier comment on the upper case in `--spec-base-URI` disappeared? I cannot seem to find it.

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

PR: https://git.openjdk.java.net/jdk/pull/8439