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

Roger Calnan duke at openjdk.org
Tue Jan 27 19:45:57 UTC 2026


On Sun, 25 Jan 2026 01:13:08 GMT, Weijun Wang <weijun at openjdk.org> wrote:

>> 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.

done

> src/java.security.jgss/windows/man/klist.md line 1:
> 
>> 1: ---
> 
> Same with `kinit.md`. There are only options in `klist.md`.

changed back

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

PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2733553027
PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2733553751


More information about the security-dev mailing list