08/09: doc: Delete description of a nonexistent option.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 7568416acb7d54ef85d5a3011f693abd6e23f850
Author: Timotej Lazar <timotej.lazar@araneo.si>
AuthorDate: Wed Jun 17 13:39:50 2020 +0200

    doc: Delete description of a nonexistent option.
    
    * doc/guix.texi (Invoking guix pull): Delete a paragraph about the --verbose
    option, which was removed in 1edcfda81ba5c20ca715473d45315662c60dd81e.
    
    Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 doc/guix.texi | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 6ce8725..2268e15 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.