doc: Delete description of a nonexistent option.

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

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Timotej Lazar 2020-06-17 13:39:50 +02:00 committed by Ludovic Courtès
parent 05f79da93f
commit 7568416acb
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

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