RFR: 8375325: add anchors to the options in the security man pages [v4]

[Weijun Wang]

On Sat, 24 Jan 2026 16:14:48 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
>
> Roger Calnan has updated the pull request incrementally with one additional commit since the last revision:
> 
>   implemented suggestion by weijun to distinguish between the flags that are documented as commands vs. options

src/java.security.jgss/windows/man/kinit.md line 1:

> 1: ---

I suggest revert all anchor names in `kinit.md` to be `option`. There are no real command here.

src/java.security.jgss/windows/man/klist.md line 1:

> 1: ---

Same with `kinit.md`. There are only options in `klist.md`.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2724752625
PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2724752845