summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2023-01-18 18:27:11 +0100
committerUlrich Müller <ulm@gentoo.org>2023-01-18 18:27:11 +0100
commitbf68ca3759a258a121e05f98b1d20960d8a6a617 (patch)
tree665a891e0357ede3bc3ed882f8b0dd6a54258b18
parentinstalled-files: Indicate when .a files can be removed in install (diff)
downloadpolicy-guide-bf68ca3759a258a121e05f98b1d20960d8a6a617.tar.gz
policy-guide-bf68ca3759a258a121e05f98b1d20960d8a6a617.tar.bz2
policy-guide-bf68ca3759a258a121e05f98b1d20960d8a6a617.zip
installed-files: Policy against use-conditional manpages
Closes: https://bugs.gentoo.org/689684 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r--installed-files.rst20
1 files changed, 20 insertions, 0 deletions
diff --git a/installed-files.rst b/installed-files.rst
index 19e72e4..6ccc1be 100644
--- a/installed-files.rst
+++ b/installed-files.rst
@@ -114,3 +114,23 @@ an empty installation image. Package managers rely on this for some
optimizations. Also QA tools make certain assumptions about virtuals,
e.g., that they must not assign the ``LICENSE`` variable (which would
be impossible if they installed any files).
+
+
+.. index::
+ pair: installed files; manpages
+
+Installation of manpages
+------------------------
+:PG: 0305
+:Source: QA
+:Reported: no
+
+Packages must not disable installing manpages via USE flags (e.g.
+``USE=man`` or ``USE=doc``). If upstream does not ship prebuilt
+manpages and building them requires additional dependencies,
+the maintainer should build them and ship along with the package.
+
+*Rationale*: Manpages are basic documentation for installed software.
+While additional dependencies are inconvenient for users, not building
+manpages is harmful. Including (optionally or unconditionally)
+prebuilt manpages is a good compromise.