Date: Sat, 17 Aug 2024 23:57:53 +0300 From: Gleb Popov <arrowd@freebsd.org> To: Nicola Vitale <nicola.stanislao.vitale@gmail.com> 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: <CALH631mie8VjSwkHr7c=aAxwJPC--uPVCQUt08MvBFqdJupWcg@mail.gmail.com> In-Reply-To: <7ad037a5-a92c-455e-b54c-9287e4fe5749@gmail.com> References: <202408170839.47H8d1f6010111@gitrepo.freebsd.org> <CALH631kWKg1o8MmU=TZcPO7%2B5vOAAdOj1XpJSAyN1G-EEAKOPA@mail.gmail.com> <7ad037a5-a92c-455e-b54c-9287e4fe5749@gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, Aug 17, 2024 at 4:41=E2=80=AFPM 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 d= istinction between man pages and other docs is misleading in my opinion. "W= hat are docs?" [2] > > Furthermore, x11/kitty is not the only one that uses %%PORTDOCS%%/share/m= an 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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALH631mie8VjSwkHr7c=aAxwJPC--uPVCQUt08MvBFqdJupWcg>