Date: Sun, 18 Aug 2024 10:11:48 +0200 From: Nicola Vitale <nicola.stanislao.vitale@gmail.com> To: Mathieu Arnold <mat@freebsd.org>, Gleb Popov <arrowd@freebsd.org> Cc: Nicola Vitale <nivit@freebsd.org>, ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Subject: Re: git: d191d48e545e - main - x11/kitty: Fix pkg-plist when DOCS option is off Message-ID: <7cec9e60-4e10-4d9a-a641-4db0250ae639@gmail.com> In-Reply-To: <elk2xa5di5kgossh2nnaeh2ujdmudfaisgdoinozrbobtohauz@oycjg3d5onwf> References: <202408170839.47H8d1f6010111@gitrepo.freebsd.org> <CALH631kWKg1o8MmU=TZcPO7%2B5vOAAdOj1XpJSAyN1G-EEAKOPA@mail.gmail.com> <7ad037a5-a92c-455e-b54c-9287e4fe5749@gmail.com> <CALH631mie8VjSwkHr7c=aAxwJPC--uPVCQUt08MvBFqdJupWcg@mail.gmail.com> <elk2xa5di5kgossh2nnaeh2ujdmudfaisgdoinozrbobtohauz@oycjg3d5onwf>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?7cec9e60-4e10-4d9a-a641-4db0250ae639>