diff options
author | Eric Bavier <bavier@member.fsf.org> | 2016-01-27 20:31:04 -0600 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-01-29 23:45:34 +0100 |
commit | 36629097523b0abd89d1b931293150cb9c1f242d (patch) | |
tree | 8eb5026fe26997e1d1b3b08a7d69128bd4c82b08 /THANKS | |
parent | 171a0a13a4350ac9bbed0f2ed8e9c9777cc57b22 (diff) | |
download | guix-36629097523b0abd89d1b931293150cb9c1f242d.tar.gz guix-36629097523b0abd89d1b931293150cb9c1f242d.zip |
build: Generate man pages after compiling Guile objects.
This reduces compilation time since scripts are not compiled twice.
When building with 'make -j4' from a clean repository on an Intel
i5-2540M, compilation time gets from:
real 4m48.708s
user 17m29.892s
sys 0m9.596s
down to:
real 2m23.399s
user 6m48.604s
sys 0m6.420s
* doc.am (subcommand-manual-target): Delete function.
(SUBCOMMANDS): Delete variable.
(sub_command_mans, gen_man): New variables.
(dist_man1_MANS): Add $(sub_commands_mans).
(doc/guix-%.1): New target for sub-commands man pages. It ensures that
man pages are built only after compiling Guile objects.
(doc/guix-daemon.1): Use $(gen_man). Build only if BUILD_DAEMON.
(doc/guix.1): Use $(gen_man). Add $(sub_command_mans) prerequisite.
Co-authored-by: Mathieu Lirzin <mthl@gnu.org>
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions