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

Reply: Nicola Vitale : "Re: git: d191d48e545e - main - x11/kitty: Fix pkg-plist when DOCS option is off"
In reply to: Nicola Vitale : "git: d191d48e545e - main - x11/kitty: Fix pkg-plist when DOCS option is off"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Gleb Popov <arrowd_at_freebsd.org>
Date: Sat, 17 Aug 2024 09:07:50 UTC

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