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

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 distinction between man pages and other docs is misleading 
in my opinion. "What are docs?" [2]

Furthermore, x11/kitty is not the only one that uses 
%%PORTDOCS%%/share/man in pkg-plist, and NO_INSTALL_MANPAGES was removed 
a long time ago.

And do you also want to fix all ports that install man pages directly 
without providing the magic option MANPAGES?

And then why not fix all other ports that don't install them even if 
they are present in the distribution file too? They are essential 
*documentation*.

This would not be a waste of time...

[1] I don't remember swearing allegiance to the Porter's Handb...Bible. ;-)

[2] 
https://www.reddit.com/r/freebsd/comments/nc5c5v/whats_the_difference_between_docs_and_manpages/

On 17/08/24 11:07, Gleb Popov wrote:

> 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

-- 
--
Nicola Vitale