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. --
