03/06: doc: Typos in guix.texi manual.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit f31e586b5873d9ec6309f562692b0a11e6d22b95
Author: Miguel Ángel Arruga Vivas <address@hidden>
Date:   Wed Nov 28 20:11:56 2018 +0100

    doc: Typos in guix.texi manual.
    
    * doc/guix.texi (USB Stick and DVD Installation): use @var{system}
    consistently.
    (Proceeding with the Installation): use @email markup instead of @file.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 20ab65f..870c710 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -9192,7 +9192,7 @@ 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@var{system}.iso of=/dev/sdX
 sync
 @end example
 
@@ -9217,7 +9217,7 @@ its device name.  Assuming that the DVD drive is known as 
@file{/dev/srX},
 copy the image with:
 
 @example
-growisofs -dvd-compat -Z /dev/address@hidden
+growisofs -dvd-compat -Z /dev/address@hidden@var{system}.iso
 @end example
 
 Access to @file{/dev/srX} usually requires root privileges.
@@ -9577,7 +9577,7 @@ system}).  We recommend doing that regularly so that your 
system
 includes the latest security updates (@pxref{Security Updates}).
 
 Join us on @code{#guix} on the Freenode IRC network or on
address@hidden@@gnu.org} to share your experience---good or not so
address@hidden@@gnu.org} to share your experience---good or not so
 good.
 
 @node Installing GuixSD in a VM