Integrated: 8373836: add anchors to the java options in the java man page

[Roger Calnan]

On Mon, 22 Dec 2025 13:31:54 GMT, Roger Calnan <duke at openjdk.org> wrote:

> adjust each of the command line options to include an html anchor so that one can give a link that goes directly to the section in the man page that covers a specific option

This pull request has now been integrated.

Changeset: 20bd178b
Author:    Roger Calnan <roger.calnan at oracle.com>
Committer: Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/20bd178b997b8bbf895877774d55d1a9e87c3038
Stats:     247 lines in 1 file changed: 0 ins; 0 del; 247 mod

8373836: add anchors to the java options in the java man page

Reviewed-by: jwilhelm, iris

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

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