security/krb5-12{0,1}: Consolidate KRB5_{PDF,HTML} options into canonical DOCS option

[michaelo]

Summary

Let users globally decide whether they want to have these docs in their
ports.

PR: 287340
Approved by: jrm (mentor), otis (mentor), cy (maintainer)

[michaelo]

Add note in UPDATING

[cy]

LGTM

[cy]

You can also add approved by maintainer to your commit log message.

[michaelo]

In D50775#1158796, @cy wrote:

You can also add approved by maintainer to your commit log message.

This I have, though I am not sure whether I need mentor approval as well along with maintainer approval.

[michaelo]

@otis , formally OK for you?

[cy]

In D50775#1158797, @michaelo wrote:

In D50775#1158796, @cy wrote:

You can also add approved by maintainer to your commit log message.

This I have, though I am not sure whether I need mentor approval as well along with maintainer approval.

Yes, you also need mentor approval.

[michaelo]

In D50775#1158833, @cy wrote:

In D50775#1158797, @michaelo wrote:

In D50775#1158796, @cy wrote:

You can also add approved by maintainer to your commit log message.

This I have, though I am not sure whether I need mentor approval as well along with maintainer approval.

Yes, you also need mentor approval.

Alright, thanks. @otis , consented, all good now.