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