01/05: doc: Merge "USB Stick Installation" and "DVD Installation".

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 2626062b250e0833f2acdf80ef4b8b70c8757673
Author: Ludovic Courtès <address@hidden>
Date:   Mon Dec 4 15:13:00 2017 +0100

    doc: Merge "USB Stick Installation" and "DVD Installation".
    
    * doc/guix.texi (USB Stick Installation): Rename to...
    (USB Stick and DVD Installation): ... this.  Merge contents with...
    (DVD Installation): ... this node.  Remove.
---
 doc/guix.texi | 70 ++++++++++++++---------------------------------------------
 1 file changed, 16 insertions(+), 54 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 2b1b89f..182dcd8 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -197,7 +197,7 @@ System Installation
 
 * Limitations::                 What you can expect.
 * Hardware Considerations::     Supported hardware.
-* USB Stick Installation::      Preparing the installation medium.
+* USB Stick and DVD Installation::  Preparing the installation medium.
 * Preparing for Installation::  Networking, partitioning, etc.
 * Proceeding with the Installation::  The real thing.
 * Installing GuixSD in a VM::   GuixSD playground.
@@ -7764,8 +7764,7 @@ available.
 @menu
 * Limitations::                 What you can expect.
 * Hardware Considerations::     Supported hardware.
-* USB Stick Installation::      Preparing the installation medium.
-* DVD Installation::            Preparing the installation medium.
+* USB Stick and DVD Installation:: Preparing the installation medium.
 * Preparing for Installation::  Networking, partitioning, etc.
 * Proceeding with the Installation::  The real thing.
 * Installing GuixSD in a VM::   GuixSD playground.
@@ -7851,10 +7850,11 @@ web site.  It contains a catalog of hardware devices 
with information
 about their support in GNU/Linux.
 
 
address@hidden USB Stick Installation
address@hidden USB Stick Installation
address@hidden USB Stick and DVD Installation
address@hidden USB Stick and DVD Installation
 
-An installation image for USB sticks can be downloaded from
+An ISO-9660 installation image that can be written to a USB stick or
+burnt to a DVD can be downloaded from
 @indicateurl{ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz},
 where @var{system} is one of:
 
@@ -7889,6 +7889,8 @@ and rerun the @code{gpg --verify} command.
 This image contains the tools necessary for an installation.
 It is meant to be copied @emph{as is} to a large-enough USB stick or DVD.
 
address@hidden Copying to a USB Stick
+
 To copy the image to a USB stick, follow these steps:
 
 @enumerate
@@ -7905,57 +7907,14 @@ its device name.  Assuming that the USB stick is known 
as @file{/dev/sdX},
 copy the image with:
 
 @example
-dd address@hidden of=/dev/sdX
+dd address@hidden of=/dev/sdX
 sync
 @end example
 
 Access to @file{/dev/sdX} usually requires root privileges.
 @end enumerate
 
-Once this is done, you should be able to reboot the system and boot from
-the USB stick.  The latter usually requires you to get in the BIOS or
-UEFI boot menu, where you can choose to boot from the USB stick.
-
address@hidden GuixSD in a VM}, if, instead, you would like to install
-GuixSD in a virtual machine (VM).
-
address@hidden DVD Installation
address@hidden DVD Installation
-
-An installation image for DVDs can be downloaded from
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz},
-where @var{system} is one of:
-
address@hidden @code
address@hidden x86_64-linux
-for a GNU/Linux system on Intel/AMD-compatible 64-bit CPUs;
-
address@hidden i686-linux
-for a 32-bit GNU/Linux system on Intel-compatible CPUs.
address@hidden table
-
address@hidden start duplication of authentication part from ``Binary 
Installation''
-Make sure to download the associated @file{.sig} file and to verify the
-authenticity of the image against it, along these lines:
-
address@hidden
-$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz.sig
-$ gpg --verify address@hidden@var{system}.xz.sig
address@hidden example
-
-If that command fails because you do not have the required public key,
-then run this command to import it:
-
address@hidden
-$ gpg --keyserver pgp.mit.edu --recv-keys @value{OPENPGP-SIGNING-KEY-ID}
address@hidden example
-
address@hidden
-and rerun the @code{gpg --verify} command.
address@hidden end duplication
-
-This image contains the tools necessary for an installation.
-It is meant to be copied @emph{as is} to a large-enough USB stick or DVD.
address@hidden Burning on a DVD
 
 To copy the image to a DVD, follow these steps:
 
@@ -7979,13 +7938,16 @@ growisofs -dvd-compat -Z /dev/address@hidden
 Access to @file{/dev/srX} usually requires root privileges.
 @end enumerate
 
address@hidden Booting
+
 Once this is done, you should be able to reboot the system and boot from
-the DVD.  The latter usually requires you to get in the BIOS or
-UEFI boot menu, where you can choose to boot from the DVD.
+the USB stick or DVD.  The latter usually requires you to get in the
+BIOS or UEFI boot menu, where you can choose to boot from the USB stick.
 
 @xref{Installing GuixSD in a VM}, if, instead, you would like to install
 GuixSD in a virtual machine (VM).
 
+
 @node Preparing for Installation
 @subsection Preparing for Installation
 
@@ -8336,7 +8298,7 @@ disk image, follow these steps:
 @enumerate
 @item
 First, retrieve and decompress the GuixSD installation image as
-described previously (@pxref{USB Stick Installation}).
+described previously (@pxref{USB Stick and DVD Installation}).
 
 @item
 Create a disk image that will hold the installed system.  To make a