[PATCH 1/1] doc: Show how to deploy any version of Guix.

[Leo Famulari]

* doc/guix.texi (Invoking guix pull): Give some examples of how to deploy
arbitrary Guix versions with the --url option.
---
 doc/guix.texi | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index bf9dbaa72..6a4bd642b 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -20,7 +20,7 @@ Copyright @copyright{} 2014, 2015, 2016 Alex address@hidden
 Copyright @copyright{} 2015, 2016 Mathieu address@hidden
 Copyright @copyright{} 2014 Pierre-Antoine address@hidden
 Copyright @copyright{} 2015 Taylan Ulrich Bayırlı/address@hidden
-Copyright @copyright{} 2015, 2016 Leo address@hidden
+Copyright @copyright{} 2015, 2016, 2017 Leo address@hidden
 Copyright @copyright{} 2015, 2016 Ricardo address@hidden
 Copyright @copyright{} 2016 Ben address@hidden
 Copyright @copyright{} 2016 Chris address@hidden
@@ -2336,6 +2336,20 @@ 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.
 
+With some Git servers, this can be used to deploy any version of Guix.
+For example, to download and deploy the version 0.12.0 of Guix from the
+canonical Git repo:
+
address@hidden
+guix pull 
--url=http://git.savannah.gnu.org/cgit/guix.git/snapshot/v0.12.0.tar.gz
address@hidden example
+
+It can also be used to deploy arbitrary Git revisions:
+
address@hidden
+guix pull 
--url=http://git.savannah.gnu.org/cgit/guix.git/snapshot/74d862e8a.tar.gz
address@hidden example
+
 @item --bootstrap
 Use the bootstrap Guile to build the latest Guix.  This option is only
 useful to Guix developers.
-- 
2.11.0