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 /gnu | |
| parent | d21353adea700b7f008d7a9f047d9f8b9c422cfb (diff) | |
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 'gnu')
0 files changed, 0 insertions, 0 deletions