On Tue, 24 May 2022 21:29:53 GMT, Pavel Rappo <pra...@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
