git: openjdk/jdk: master: 8322036: Improve help output from the javadoc tool

[Pavel Rappo]

Changeset: 21505216
Branch: master
Author:    Nizar Benalla <nbenalla at openjdk.org>
Committer: Pavel Rappo <prappo at openjdk.org>
Date:      2024-08-28 11:01:15 +0000
URL:       https://git.openjdk.org/jdk/commit/2150521650d6b730cfe9d3ecb91d589c96862475

8322036: Improve help output from the javadoc tool

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ToolOptions.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/resources/javadoc.properties