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 /srfi | |
parent | 171a0a13a4350ac9bbed0f2ed8e9c9777cc57b22 (diff) | |
download | guix-36629097523b0abd89d1b931293150cb9c1f242d.tar.gz |
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 'srfi')
0 files changed, 0 insertions, 0 deletions