Skip site navigation (1)Skip section navigation (2) 
Date:      Sat, 17 Aug 2024 12:07:50 +0300
From:      Gleb Popov <arrowd@freebsd.org>
To:        Nicola Vitale <nivit@freebsd.org>
Cc:        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:  <CALH631kWKg1o8MmU=TZcPO7%2B5vOAAdOj1XpJSAyN1G-EEAKOPA@mail.gmail.com>
In-Reply-To: <202408170839.47H8d1f6010111@gitrepo.freebsd.org>
index | next in thread | previous in thread | raw e-mail 

On Sat, Aug 17, 2024 at 11:39 AM Nicola Vitale <nivit@freebsd.org> wrote:
>
> +%%PORTDOCS%%share/man/man1/kitty.1.gz
> +%%PORTDOCS%%share/man/man5/kitty.conf.5.gz

Note in "5.17.4. Install Additional Documentation" says [1]

> The DOCS option only controls additional documentation installed in DOCSDIR. It does not apply to standard man pages and info pages.

So these files are better handled by the MANPAGES option.

[1] https://docs.freebsd.org/en/books/porters-handbook/book/#install-documentation
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALH631kWKg1o8MmU=TZcPO7%2B5vOAAdOj1XpJSAyN1G-EEAKOPA>