From de341e7c3f956a64e44f50c2f45c86820567a6a1 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Thu, 24 Mar 2016 22:56:42 +0100 Subject: 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 file changed, 6 insertions(+), 6 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index 186b8502e2..d0dcc51094 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 -@kbd{l} 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 -- cgit 1.4.1