On Wed, 24 Mar 2021 17:04:04 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Fix bad reference in property
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
> line 250:
>
>> 248: doclet.help.index.body=\
>> 249: The {0} contains an alphabetic index of all classes, interfaces,
>> constructors, methods, \
>> 250: and fields in the documentation, as well as summary pages such as
>> {0}.
>
> The link at the end of the sentence is the same as the one at the beginning
> of the sentence, which is the main index page. I think you probably meant to
> link to one of the summary pages.
Thanks: this is a good illustration of why the preceding comment (in the source
file) is useful. :-)
-------------
PR: https://git.openjdk.java.net/jdk/pull/3144
