bug#59219: closed ([PATCH] doc: Build more man pages.)

[GNU bug Tracking System]

Your message dated Sat, 19 Nov 2022 19:38:47 +0100
with message-id <87r0xy94co.fsf@gnu.org>
and subject line Re: bug#59219: [PATCH] doc: Build more man pages.
has caused the debbugs.gnu.org bug report #59219,
regarding [PATCH] doc: Build more man pages.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
59219: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59219
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] doc: Build more man pages.
>
>
>
>
> Date: 
>
> Sat, 12 Nov 2022 23:30:15 +0800
>
>
>
>
> * doc/local.mk (sub_commands_mans): Add guix-container.1, guix-copy.1,
> guix-describe.1, guix-git.1, guix-graph.1, guix-home.1, guix-offload.1,
> guix-pack.1, guix-processes.1, guix-repl.1, guix-shell.1, guix-style.1.
> ---
>  doc/local.mk | 12 ++++++++++++
>  1 file changed, 12 insertions(+)
>
> diff --git a/doc/local.mk b/doc/local.mk
> index 445be17027..89285b9f35 100644
> --- a/doc/local.mk
> +++ b/doc/local.mk
> @@ -179,19 +179,31 @@ sub_commands_mans =                               \
>    $(srcdir)/%D%/guix-archive.1                 \
>    $(srcdir)/%D%/guix-build.1                   \
>    $(srcdir)/%D%/guix-challenge.1               \
> +  $(srcdir)/%D%/guix-container.1               \
> +  $(srcdir)/%D%/guix-copy.1                    \
>    $(srcdir)/%D%/guix-deploy.1                  \
> +  $(srcdir)/%D%/guix-describe.1                        \
>    $(srcdir)/%D%/guix-download.1                        \
>    $(srcdir)/%D%/guix-edit.1                    \
>    $(srcdir)/%D%/guix-environment.1             \
>    $(srcdir)/%D%/guix-gc.1                      \
> +  $(srcdir)/%D%/guix-git.1                     \
> +  $(srcdir)/%D%/guix-graph.1                   \
>    $(srcdir)/%D%/guix-hash.1                    \
> +  $(srcdir)/%D%/guix-home.1                    \
>    $(srcdir)/%D%/guix-import.1                  \
>    $(srcdir)/%D%/guix-lint.1                    \
> +  $(srcdir)/%D%/guix-offload.1                 \
> +  $(srcdir)/%D%/guix-pack.1                    \
>    $(srcdir)/%D%/guix-package.1                 \
> +  $(srcdir)/%D%/guix-processes.1               \
>    $(srcdir)/%D%/guix-publish.1                 \
>    $(srcdir)/%D%/guix-pull.1                    \
>    $(srcdir)/%D%/guix-refresh.1                 \
> +  $(srcdir)/%D%/guix-repl.1                    \
> +  $(srcdir)/%D%/guix-shell.1                   \
>    $(srcdir)/%D%/guix-size.1                    \
> +  $(srcdir)/%D%/guix-style.1                   \
>    $(srcdir)/%D%/guix-system.1                  \
>    $(srcdir)/%D%/guix-time-machine.1            \
>    $(srcdir)/%D%/guix-weather.1
>
> base-commit: 2757de2e2b271d87f6f72ba4161c2225fbdc9e78
> -- 
> 2.38.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#59219: [PATCH] doc: Build more man pages.
>
>
>
>
> Date: 
>
> Sat, 19 Nov 2022 19:38:47 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hi,
>
> Hilton Chain <hako@ultrarare.space> skribis:
>
> > * doc/local.mk (sub_commands_mans): Add guix-container.1, guix-copy.1,
> > guix-describe.1, guix-git.1, guix-graph.1, guix-home.1, guix-offload.1,
> > guix-pack.1, guix-processes.1, guix-repl.1, guix-shell.1, guix-style.1.
>
> Oops, we’d forgotten them.  Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---