Re: use of DOCS in port options

On Thu, Aug 28, 2025 at 09:37:21PM +0300, Gleb Popov wrote:

>I'm not a portmgr, so this is all my humble opinion:
>Ideally we should strive to separate DOCS and MANPAGES. But sometimes
>the software's buildsystem has a single "docs" switch that controls
>both manpages and html/pdf/etc. generation. In this case I don't go as
>far as decoupling DOCS and MANPAGES and stick with only DOCS.

OK, thanks.

I guess there's not an official way of processing the ports tree to
see what's where? There's a couple of issues, might be near-edge cases,
in that on a for example embedded system one might not want doxygen
or PDFs made. I install docs-everything in a desktop context,
manpages only elsewhere.

--