01/03: doc: Update reference to the Info reader's manual.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit de341e7c3f956a64e44f50c2f45c86820567a6a1
Author: Ludovic Courtès <address@hidden>
Date:   Thu Mar 24 22:56:42 2016 +0100

    doc: Update reference to the Info reader's manual.
    
    * doc/guix.texi (System Installation): Refer to 'info-stnd' instead of
    'info'.
    (Preparing for Installation): Likewise.
---
 doc/guix.texi |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 186b850..d0dcc51 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5689,8 +5689,8 @@ also be installed on top of a running GNU/Linux system,
 @c installation image.
 You are reading this documentation with an Info reader.  For details on
 how to use it, hit the @key{RET} key (``return'' or ``enter'') on the
-link that follows: @pxref{Help,,, info, Info: An Introduction}.  Hit
address@hidden afterwards to come back here.
+link that follows: @pxref{Top, Info reader,, info-stnd, Stand-alone GNU
+Info}.  Hit @kbd{l} afterwards to come back here.
 @end ifinfo
 
 @menu
@@ -5830,10 +5830,10 @@ menu, where you can choose to boot from the USB stick.
 Once you have successfully booted the image on the USB stick, you should
 end up with a root prompt.  Several console TTYs are configured and can
 be used to run commands as root.  TTY2 shows this documentation,
-browsable using the Info reader commands (@pxref{Help,,, info, Info: An
-Introduction}).  The installation system runs the GPM mouse daemon,
-which allows you to select text with the left mouse button and to paste
-it with the middle button.
+browsable using the Info reader commands (@pxref{Top,,, info-stnd,
+Stand-alone GNU Info}).  The installation system runs the GPM mouse
+daemon, which allows you to select text with the left mouse button and
+to paste it with the middle button.
 
 @subsubsection Keyboard Layout