On Mon, 26 Aug 2024 10:32:49 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Nizar Benalla has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> - replace backticks with single quotes
>> - drop use of underscores
>> - capitalize first letter for "doclet"
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/resources/javadoc.properties
> line 280:
>
>> 278: These options are non-standard and subject to change without notice.
>> 279:
>> 280: main.doclet.usage.header=\nProvided by the {0} Doclet:
>
> I'm unsure about this one: `{0}` does not necessarily expand to `Standard`.
I can change it back.
By the way I only see it used in the codebase once
[here](https://github.com/openjdk/jdk/blob/20d8f58c92009a46dfb91b951e7d87b4cb8e8b41/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java#L254)
where `doclet.getName()` returns `Standard`
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/20618#discussion_r1731092234
