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 21:29:53 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> 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.

Ah, found it: there are two of those cases.

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

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