doc: Mention the tarball URL and clarify binary installation steps.

* doc/guix.texi (Binary Installation): Mention the tarball URL.  Clarify what
the steps do.

Change-Id: Ic929b10c29b69752fd549b78295682bdf4fb76f6
Signed-off-by: Rutherther <rutherther@ditigal.xyz>

1 files changed, 14 insertions, 6 deletions

diff --git a/doc/guix.texi b/doc/guix.texi
index bdb41c93058..8c52a16a3a3 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -789,12 +789,20 @@ chmod +x guix-install.sh
 
 The script goes through the following steps:
 
-@itemize
-@item Downloading and extracting the binary tarball
-@item Setting up the build daemon
-@item Making @command{guix} command available to non-root users
-@item Configuring substitute servers
-@end itemize
+@enumerate
+@item
+Downloading the binary tarball from
+@indicateurl{@value{BASE-URL}/guix-binary-@value{VERSION}.x86_64-linux.tar.xz}
+(where @code{x86_64-linux} can be replaced with @code{i686-linux} for an
+@code{i686} (32-bits) machine already running the kernel Linux, and so
+on---@pxref{GNU Distribution}) and extracting it.
+@item
+Setting up the build daemon (@pxref{Setting Up the Daemon}).
+@item
+Making the @command{guix} command available to non-root users.
+@item
+Configuring substitute servers (@pxref{Official Substitute Servers}).
+@end enumerate
 
 @quotation Note
 By default, @file{guix-install.sh} will configure Guix to download