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)

I appreciate your perseverance in this review, Jon! A note to self: when we have the next round of review, most URIs will have likely turned into URLs.

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

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