On Tue, 24 May 2022 19:50:41 GMT, Jonathan Gibbons <j...@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
