diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 22:56:42 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 23:00:11 +0100 |
| commit | de341e7c3f956a64e44f50c2f45c86820567a6a1 (patch) | |
| tree | ee1736ced44cf62070146020a78016c23441e960 | |
| parent | 68abb9b04c0b0a22ea28d7fd89f07ecd10d2aa69 (diff) | |
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.
| -rw-r--r-- | doc/guix.texi | 12 |
1 files 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 |