HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e25ca46) | patch
profiles: Use (guix man-db) to create the manual database.
authorLudovic Courtès <ludo@gnu.org>
Fri, 15 Dec 2017 21:16:18 +0000 (22:16 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sun, 17 Dec 2017 15:19:00 +0000 (16:19 +0100)
commitb8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81
treebdf9106e341422237dd010dbfbceb0ef27ecf0f0tree | snapshot (tar.gz zip)
parente25ca462e5c6b4e5bbcfb70dbdf1006a25749deecommit | diff
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).
Makefile.am diff | blob | blame | history
guix/man-db.scm [new file with mode: 0644] blob
guix/profiles.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/