aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-12-15 22:16:18 +0100
committerLudovic Courtès <ludo@gnu.org>2017-12-17 16:19:00 +0100
commitb8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81 (patch)
treebdf9106e341422237dd010dbfbceb0ef27ecf0f0 /gnu/packages
parente25ca462e5c6b4e5bbcfb70dbdf1006a25749dee (diff)
downloadpatches-b8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81.tar
patches-b8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81.tar.gz
profiles: Use (guix man-db) to create the manual database.
Fixes <https://bugs.gnu.org/29654>. Reported by Ruud van Asseldonk <dev+guix@veniogames.com>. This also speeds up database creation compared to "man-db --create" (less than half the time, on a warm cache, for 19k pages.) * guix/man-db.scm: New file. * Makefile.am (MODULES_NOT_COMPILED): Add it. * guix/profiles.scm (manual-database): Rewrite to use (guix man-db).
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions