1 files changed, 10 insertions(+), 9 deletions(-)

M doc/guix.texi

@@ 777,6 777,16 @@ Use of @file{guix-install.sh} requires Bash, GnuPG, GNU@tie{}tar, wget,
 and Xz.  On systems where systemd is detected, the tool
 @command{newgidmap} from the @code{uidmap} package is also required.
 
+To install Guix on top of your GNU/Linux system, run the following
+commands as root:
+
+@example
+cd /tmp
+wget https://guix.gnu.org/guix-install.sh
+chmod +x guix-install.sh
+./guix-install.sh
+@end example
+
 The script goes through the following steps:
 
 @itemize


@@ 786,15 796,6 @@ The script goes through the following steps:
 @item Configuring substitute servers
 @end itemize
 
-As root, run:
-
-@example
-cd /tmp
-wget https://guix.gnu.org/guix-install.sh
-chmod +x guix-install.sh
-./guix-install.sh
-@end example
-
 @quotation Note
 By default, @file{guix-install.sh} will configure Guix to download
 pre-built package binaries, called @dfn{substitutes}