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 /graph.js | |
| parent | e25ca462e5c6b4e5bbcfb70dbdf1006a25749dee (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).
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions