bug#41913: closed ([PATCH] doc: Delete description of a nonexistent option.)

[GNU bug Tracking System]

Your message dated Thu, 18 Jun 2020 14:43:46 +0200
with message-id <87r1uclf25.fsf@gnu.org>
and subject line Re: [bug#41913] [PATCH] doc: Delete description of a 
nonexistent option.
has caused the debbugs.gnu.org bug report #41913,
regarding [PATCH] doc: Delete description of a nonexistent option.
to be marked as done.

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


-- 
41913: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41913
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] doc: Delete description of a nonexistent option.
>
>
>
>
> Date: 
>
> Wed, 17 Jun 2020 13:39:50 +0200
>
>
>
>
> * doc/guix.texi (Invoking guix pull): Delete a paragraph about the --verbose
> option, which was removed in 1edcfda81ba5c20ca715473d45315662c60dd81e.
> ---
>  doc/guix.texi | 3 ---
>  1 file changed, 3 deletions(-)
>
> diff --git a/doc/guix.texi b/doc/guix.texi
> index 6c59db3393..1a756e82ad 100644
> --- a/doc/guix.texi
> +++ b/doc/guix.texi
> @@ -3948,9 +3948,6 @@ Make sure you understand its security implications before 
> using
>  Attempt to build for @var{system}---e.g., @code{i686-linux}---instead of
>  the system type of the build host.
>  
> -@item --verbose
> -Produce verbose output, writing build logs to the standard error output.
> -
>  @item --bootstrap
>  Use the bootstrap Guile to build the latest Guix.  This option is only
>  useful to Guix developers.
> -- 
> 2.26.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#41913] [PATCH] doc: Delete description of a nonexistent option.
>
>
>
>
> Date: 
>
> Thu, 18 Jun 2020 14:43:46 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hi,
>
> Timotej Lazar <timotej.lazar@araneo.si> skribis:
>
> > * doc/guix.texi (Invoking guix pull): Delete a paragraph about the --verbose
> > option, which was removed in 1edcfda81ba5c20ca715473d45315662c60dd81e.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---