diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-19 22:01:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-19 22:04:46 +0200 |
| commit | 0af3f404e9f5bd12099c6f63fe5e20e9ed5b029e (patch) | |
| tree | 978f06c59178ad76a83cac2535a71ce68724abb9 | |
| parent | f262f9f52dde48efcfc913a6f6dfd898bf469408 (diff) | |
build: Ensure man pages are not rebuilt by users.
* doc.am (doc/guix.1): Remove dependency on 'scripts/guix' since every user
would end up rebuilding 'guix.1'. Add dependency on guix/scripts/*.scm.
(doc/guix-daemon.1): For the same reason, depend on 'guix-daemon.cc' instead
of 'guix-daemon'.
(doc/guix-$(1).1): Similarly, remove dependency on 'scripts/guix' and depend
on 'guix/scripts/$(1).scm' instead of the .go file.
| -rw-r--r-- | doc.am | 8 |
1 files changed, 5 insertions, 3 deletions
| @@ -80,17 +80,19 @@ dvi-local: ps-local | |||
| 80 | 80 | ||
| 81 | # Manual pages. | 81 | # Manual pages. |
| 82 | 82 | ||
| 83 | doc/guix.1: scripts/guix | 83 | doc/guix.1: $(SUBCOMMANDS:%=guix/scripts/%.scm) |
| 84 | -LANGUAGE= $(top_builddir)/pre-inst-env \ | 84 | -LANGUAGE= $(top_builddir)/pre-inst-env \ |
| 85 | $(HELP2MAN) --output="$@" guix | 85 | $(HELP2MAN) --output="$@" guix |
| 86 | 86 | ||
| 87 | doc/guix-daemon.1: guix-daemon | 87 | # Note: Do not depend on 'guix-daemon' since that would trigger a rebuild even |
| 88 | # for people building from a tarball. | ||
| 89 | doc/guix-daemon.1: nix/nix-daemon/guix-daemon.cc | ||
| 88 | -LANGUAGE= $(top_builddir)/pre-inst-env \ | 90 | -LANGUAGE= $(top_builddir)/pre-inst-env \ |
| 89 | $(HELP2MAN) --output="$@" guix-daemon | 91 | $(HELP2MAN) --output="$@" guix-daemon |
| 90 | 92 | ||
| 91 | define subcommand-manual-target | 93 | define subcommand-manual-target |
| 92 | 94 | ||
| 93 | doc/guix-$(1).1: scripts/guix guix/scripts/$(1).go | 95 | doc/guix-$(1).1: guix/scripts/$(1).scm |
| 94 | -LANGUAGE= $(top_builddir)/pre-inst-env \ | 96 | -LANGUAGE= $(top_builddir)/pre-inst-env \ |
| 95 | $(HELP2MAN) --output="$$@" "guix $(1)" | 97 | $(HELP2MAN) --output="$$@" "guix $(1)" |
| 96 | 98 | ||
