summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.si>2020-06-17 13:39:50 +0200
committerLudovic Courtès <ludo@gnu.org>2020-06-18 14:48:18 +0200
commit7568416acb7d54ef85d5a3011f693abd6e23f850 (patch)
treeb7b6c324a1169c5609e249748addd6db83f5b5e1 /doc
parent05f79da93fb4fd5216feb41510bf0a41f8eedf5b (diff)
downloadguix-patches-7568416acb7d54ef85d5a3011f693abd6e23f850.tar
guix-patches-7568416acb7d54ef85d5a3011f693abd6e23f850.tar.gz
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>
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 6ce8725ece..2268e159a2 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.