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 /doc | |
| parent | e25ca462e5c6b4e5bbcfb70dbdf1006a25749dee (diff) | |
| download | guix-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 'doc')
0 files changed, 0 insertions, 0 deletions