On Mon, 22 Dec 2025 13:31:54 GMT, Roger Calnan <[email protected]> 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 <[email protected]> Committer: Jesper Wilhelmsson <[email protected]> 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
