Re: git: d191d48e545e - main - x11/kitty: Fix pkg-plist when DOCS option is off

On Sat, Aug 17, 2024 at 4:41 PM Nicola Vitale
<nicola.stanislao.vitale@gmail.com> wrote:
>
> Hi,
>
> thanks for the advice, but [1] the option MANPAGES is not present in the Porter's Handbook, and the section 5.12 (Man pages) says only that "manual pages must be placed in pkg-plist along with the rest of the files". This distinction between man pages and other docs is misleading in my opinion. "What are docs?" [2]
>
> Furthermore, x11/kitty is not the only one that uses %%PORTDOCS%%/share/man in pkg-plist, and NO_INSTALL_MANPAGES was removed a long time ago.

Hum, it looks you're right. The `portgrep -o MANPAGES | wc -l` gives
only 204. It seems that MANPAGES option is indeed getting demoted.

> [1] I don't remember swearing allegiance to the Porter's Handb...Bible. ;-)

I believe, every Ports committer has to follow Porter's Handbook. Let
portmgr@ correct me if I'm wrong.