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 08:11:48 UTC 
On 18/08/24 07:47, Mathieu Arnold wrote:

> Well, not at all. Man pages have to always be installed when they are
> present in the distfiles. The MANPAGES option is only present when man
> pages need to be generated during the build, and the maintainer decided
> the tools needed were heavy and that it should be possible to disable
> building the man pages. (For example, you need doxygen, or some other
> big tool)

Looks like someone here has a better Porter's Handbook than everyone 
else: that good practice is not documented in mine.

--
Nicola Vitale