GNU bug report logs - #41913
[PATCH] doc: Delete description of a nonexistent option.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#41913: closed ([PATCH] doc: Delete description of a
 nonexistent option.)
Date: Thu, 18 Jun 2020 12:44:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 18 Jun 2020 14:43:46 +0200
with message-id <87r1uclf25.fsf <at> 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 <at> gnu.org.)


-- 
41913: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41913
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Timotej Lazar <timotej.lazar <at> araneo.si>
To: guix-patches <at> gnu.org
Cc: Timotej Lazar <timotej.lazar <at> araneo.si>
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

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Timotej Lazar <timotej.lazar <at> araneo.si>
Cc: 41913-done <at> debbugs.gnu.org
Subject: Re: [bug#41913] [PATCH] doc: Delete description of a nonexistent
 option.
Date: Thu, 18 Jun 2020 14:43:46 +0200

Hi,

Timotej Lazar <timotej.lazar <at> araneo.si> skribis:

> * doc/guix.texi (Invoking guix pull): Delete a paragraph about the --verbose
> option, which was removed in 1edcfda81ba5c20ca715473d45315662c60dd81e.

Applied, thanks!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.