diff options
author | Ulrich Müller <ulm@gentoo.org> | 2023-01-18 18:27:11 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2023-01-18 18:27:11 +0100 |
commit | bf68ca3759a258a121e05f98b1d20960d8a6a617 (patch) | |
tree | 665a891e0357ede3bc3ed882f8b0dd6a54258b18 | |
parent | installed-files: Indicate when .a files can be removed in install (diff) | |
download | policy-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.rst | 20 |
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. |