From ab5d72ad2b2448542adcbb0f2dc89245b77e3087 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sat, 12 Oct 2013 23:23:41 +0200
Subject: [PATCH] doc: Document "guix pull --url".

* doc/guix.texi (Invoking guix pull): Add --url.
---
 doc/guix.texi | 6 ++++++
 1 file changed, 6 insertions(+)

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.