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 /Makefile.am | |
| parent | e25ca462e5c6b4e5bbcfb70dbdf1006a25749dee (diff) | |
| download | guix-b8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81.tar.gz guix-b8396f96bfeadfa63e7ad2afc2ab5a37f37f5f81.tar.xz | |
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 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 85b9ab36d2..fe1e685f34 100644 --- a/Makefile.am +++ b/Makefile.am @@ -34,7 +34,8 @@ nodist_noinst_SCRIPTS = \ # Modules that are not compiled but are installed nonetheless, such as # build-side modules with unusual dependencies. -MODULES_NOT_COMPILED = +MODULES_NOT_COMPILED = \ + guix/man-db.scm include gnu/local.mk |