Summary: | dev-util/glib-utils: Feature request "doc" use flag for selecting / deselecting documentation | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Allen Webb <allenwebb> |
Component: | Current packages | Assignee: | Gentoo Linux Gnome Desktop Team <gnome> |
Status: | RESOLVED WONTFIX | ||
Severity: | enhancement | CC: | jstein |
Priority: | Normal | Keywords: | PullRequest |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
See Also: | https://github.com/gentoo/gentoo/pull/18784 | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Allen Webb
2020-12-23 16:04:50 UTC
Thank you for your contribution. However this package does not have a USE=doc for this very much on purpose. Manual pages aren't supposed to be generally optional. The build deps are small and prevalent and the build time is negligible, so it does not justify a USE flag at all. If you do not want to install man files, use INSTALL_MASK. |