Integrated: 8312098: Update man page for javadoc

[Pavel Rappo]

On Fri, 1 Dec 2023 17:07:47 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this **forwardport**.
> 
> The original issue should've been committed to mainline first and then backported to jdk21, but instead it was [committed in jdk21 first](https://github.com/openjdk/jdk21/pull/130) and almost forgotten to be brought to mainline.
> 
> This PR brings the change to mainline just in time: RDP 1 is next week.

This pull request has now been integrated.

Changeset: 92f7e513
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/92f7e513c715b52a1492f3d81788c8c46a64c6d5
Stats:     4 lines in 1 file changed: 0 ins; 0 del; 4 mod

8312098: Update man page for javadoc

Reviewed-by: jlaskey
Backport-of: 4fcb0b28d7eda3f147432ce8d8d27f91a0805ab6

-------------

PR: https://git.openjdk.org/jdk/pull/16929