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

From: Nicola Vitale <nicola.stanislao.vitale_at_gmail.com>
Date: Sun, 18 Aug 2024 09:14:59 UTC 
On 18/08/24 11:02, Mathieu Arnold wrote:

> There is a difference between no completely following the handbook
> because you don't know some part of it, and deciding you will ignore
> parts of it because you disagree.

I can't ignore something that doesn't exist: the option MANPAGES is NOT 
documented in the Porter's Handbook.

> The first is fine, the second is not, the ports you are the maintainer
> of are not your ports, they belong to the community.

Who said otherwise? You and others can modify "my" ports whenever and 
however you want. I never said anything when it happened in the past.
-
--
Nicola Vitale