diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-04-23 23:19:49 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-23 23:59:22 +0200 |
commit | d9e83f2a6460d9716b5dc93cf61ac120c10f6906 (patch) | |
tree | 14d8e32fedbb7df938c95098d9e24d6b0e99108e /doc/local.mk | |
parent | 12da5162e49ea3b0f2e5e46f7aa5e410ebf30845 (diff) |
doc: Build more man pages.
* doc/local.mk (sub_commands_mans): Add guix-deploy.1,
guix-time-machine.1, and guix-weather.1.
Diffstat (limited to 'doc/local.mk')
-rw-r--r-- | doc/local.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk index 30c4a8c34d..0d8e95802c 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -185,6 +185,7 @@ sub_commands_mans = \ $(srcdir)/%D%/guix-archive.1 \ $(srcdir)/%D%/guix-build.1 \ $(srcdir)/%D%/guix-challenge.1 \ + $(srcdir)/%D%/guix-deploy.1 \ $(srcdir)/%D%/guix-download.1 \ $(srcdir)/%D%/guix-edit.1 \ $(srcdir)/%D%/guix-environment.1 \ @@ -197,7 +198,9 @@ sub_commands_mans = \ $(srcdir)/%D%/guix-pull.1 \ $(srcdir)/%D%/guix-refresh.1 \ $(srcdir)/%D%/guix-size.1 \ - $(srcdir)/%D%/guix-system.1 + $(srcdir)/%D%/guix-system.1 \ + $(srcdir)/%D%/guix-time-machine.1 \ + $(srcdir)/%D%/guix-weather.1 dist_man1_MANS = \ $(srcdir)/%D%/guix.1 \ |