summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2021-10-26 16:01:40 +0200
committerLudovic Courtès <ludo@gnu.org>2021-11-06 23:01:21 +0100
commit3c1158ac4e5ef825a9b9a229a233fabd7cef334e (patch)
treee286d7ddd2d8e926c1fb3966f266872c95a92c0e /doc
parentd21353adea700b7f008d7a9f047d9f8b9c422cfb (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 'doc')
-rw-r--r--doc/guix.texi4
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