diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-12-15 22:16:18 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-17 16:19:00 +0100 |
commit | b8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81 (patch) | |
tree | bdf9106e341422237dd010dbfbceb0ef27ecf0f0 /gnu/packages | |
parent | e25ca462e5c6b4e5bbcfb70dbdf1006a25749dee (diff) | |
download | patches-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