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

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

[Timotej Lazar]

* 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

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

[Ludovic Courtès]

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’.