aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 2c9cba21a1..b8ab94f5ad 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -235,6 +235,10 @@ Use @var{profile} instead of the user's default profile.
@itemx -n
Show what would be done without actually doing it.
+@item --verbose
+Produce verbose output. In particular, emit the environment's build log
+on the standard error port.
+
@item --bootstrap
Use the bootstrap Guile to build the profile. This option is only
useful to distribution developers.