diff options
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 4 |
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. |