diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-10-26 16:01:40 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-11-06 23:01:21 +0100 |
commit | 3c1158ac4e5ef825a9b9a229a233fabd7cef334e (patch) | |
tree | e286d7ddd2d8e926c1fb3966f266872c95a92c0e /doc/he-config-bare-bones.scm | |
parent | d21353adea700b7f008d7a9f047d9f8b9c422cfb (diff) | |
download | guix-patches-3c1158ac4e5ef825a9b9a229a233fabd7cef334e.tar guix-patches-3c1158ac4e5ef825a9b9a229a233fabd7cef334e.tar.gz |
profiles: Build the man database only if 'man-db' is in the profile.
This allows us to skip the expensive man-db profile hook in most cases.
Suggested by Liliana Marie Prikler <liliana.prikler@gmail.com>.
* guix/profiles.scm (manual-database/optional): New procedure.
(%default-profile-hooks): Use it instead of 'manual-database'.
* doc/guix.texi (Documentation): Add footnote about 'man -k' database
creation.
Diffstat (limited to 'doc/he-config-bare-bones.scm')
0 files changed, 0 insertions, 0 deletions