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

On 18/08/24 12:09, Gleb Popov wrote:

> If you just don't care about community standards and reply with "if
> you want it, do it yourself" then it is "disrespectful".

I don't think how it is disrespectful to the community. On the contrary,
it's a sign of great confidence in the abilities of other committers.

There is no "community" standard about how to install man pages.
In fact there are ports that simply install them, others that don't 
install them (even if they are present in the distfile), others that 
offer an option ad hoc, and still others that treat man pages like 
documentation (as they are), so they use the DOCS option.

That's all.

--
Nicola Vitale