[PATCH] doc: Delete description of a nonexistent option.

DoneSubmitted by Timotej Lazar.
Details
2 participants
  • Ludovic Courtès
  • Timotej Lazar
Owner
unassigned
Severity
normal
T
T
Timotej Lazar wrote on 17 Jun 2020 13:39
(address . guix-patches@gnu.org)(name . Timotej Lazar)(address . timotej.lazar@araneo.si)
20200617113950.3113-1-timotej.lazar@araneo.si
* 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(-)

Toggle diff (16 lines)
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
L
L
Ludovic Courtès wrote on 18 Jun 2020 14:43
(name . Timotej Lazar)(address . timotej.lazar@araneo.si)(address . 41913-done@debbugs.gnu.org)
87r1uclf25.fsf@gnu.org
Hi,

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

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

Applied, thanks!

Ludo’.
Closed
?
Your comment

This issue is archived.

To comment on this conversation send email to 41913@debbugs.gnu.org