On Sat, 24 Jan 2026 16:14:48 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
>
> 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

Reply via email to