On Tue, 20 Aug 2024 14:43:24 GMT, Jonathan Gibbons wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
>> line 481:
>>
>>> 479:
>>> 480: doclet.usage.docfilessubdirs.description=\
>>> 481: Enables deep copying of `doc-files` direc
On Thu, 22 Aug 2024 13:17:24 GMT, Nizar Benalla wrote:
>> Could I please get a review for this small clenup? I updated the `--help`
>> command output to match that of `man javadoc`.
>>
>> I also noticed that `--help-extended` was renamed to `--help-extra` at some
>> point but doc-comment was
> Could I please get a review for this small clenup? I updated the `--help`
> command output to match that of `man javadoc`.
>
> I also noticed that `--help-extended` was renamed to `--help-extra` at some
> point but doc-comment was not changed, so I changed it.
> I could create a separate issu
> Could I please get a review for this small clenup? I updated the `--help`
> command output to match that of `man javadoc`.
>
> I also noticed that `--help-extended` was renamed to `--help-extra` at some
> point but doc-comment was not changed, so I changed it.
> I could create a separate issu
On Tue, 20 Aug 2024 10:21:26 GMT, Pavel Rappo wrote:
>> Could I please get a review for this small clenup? I updated the `--help`
>> command output to match that of `man javadoc`.
>>
>> I also noticed that `--help-extended` was renamed to `--help-extra` at some
>> point but doc-comment was no