summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-10-12 23:23:41 +0200
committerLudovic Courtès <ludo@gnu.org>2013-10-13 01:14:21 +0200
commitab5d72ad2b2448542adcbb0f2dc89245b77e3087 (patch)
tree3ab56a7d1897b8325125731eb7cd779c2ae3c103 /doc
parent8ab00475fba76b665ebe2ca0a6566fcb6af5373d (diff)
doc: Document "guix pull --url".
* doc/guix.texi (Invoking guix pull): Add --url.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index ceb8046aca..9633f90559 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -880,6 +880,12 @@ but it supports the following options:
@item --verbose
Produce verbose output, writing build logs to the standard error output.
+@item --url=@var{url}
+Download the source tarball of Guix from @var{url}.
+
+By default, the tarball is taken from its canonical address at
+@code{gnu.org}, for the stable branch of Guix.
+
@item --bootstrap
Use the bootstrap Guile to build the latest Guix. This option is only
useful to Guix developers.