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 | |
parent | d21353adea700b7f008d7a9f047d9f8b9c422cfb (diff) | |
download | guix-3c1158ac4e5ef825a9b9a229a233fabd7cef334e.tar guix-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')
-rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index ea1973f02c..b35fb35770 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -36611,7 +36611,9 @@ $ info -k TLS @end example @noindent -The command below searches for the same keyword in man pages: +The command below searches for the same keyword in man +pages@footnote{The database searched by @command{man -k} is only created +in profiles that contain the @code{man-db} package.}: @example $ man -k TLS |