[bug#27967] [PATCH] maint: Rename release disk-images to include ".iso" in the name.

[Danny Milosavljevic]

* Makefile.am (release): Adapt image file name.
* doc/guix.texi: Adapt image file name.
---
 Makefile.am   |  6 +++---
 doc/guix.texi | 16 ++++++++--------
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 9ba4ccba7..c3244552f 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -635,9 +635,9 @@ release: dist
            echo "failed to produced GuixSD installation image for $$system" 
>&2 ;      \
            exit 1 ;                                                            
        \
          fi ;                                                                  
        \
-         xz < "$$image" > "$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.xz.tmp" 
;       \
-         mv "$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.xz.tmp"               
        \
-            "$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.xz" ;                 
        \
+         xz < "$$image" > 
"$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.iso.xz.tmp" ;   \
+         mv "$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.iso.xz.tmp"           
        \
+            "$(releasedir)/$(GUIXSD_IMAGE_BASE).$$system.iso.xz" ;             
                \
        done
        for system in $(GUIXSD_VM_SYSTEMS) ; do                                 
        \
          image=`$(top_builddir)/pre-inst-env                                   
        \
diff --git a/doc/guix.texi b/doc/guix.texi
index 9521181f5..984659282 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -7555,7 +7555,7 @@ about their support in GNU/Linux.
 @subsection USB Stick Installation
 
 An installation image for USB sticks can be downloaded from
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz},
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz},
 where @var{system} is one of:
 
 @table @code
@@ -7571,8 +7571,8 @@ Make sure to download the associated @file{.sig} file and 
to verify the
 authenticity of the image against it, along these lines:
 
 @example
-$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz.sig
-$ gpg --verify address@hidden@var{system}.xz.sig
+$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz.sig
+$ gpg --verify address@hidden@var{system}.iso.xz.sig
 @end example
 
 If that command fails because you do not have the required public key,
@@ -7596,7 +7596,7 @@ To copy the image to a USB stick, follow these steps:
 Decompress the image using the @command{xz} command:
 
 @example
-xz -d address@hidden@var{system}.xz
+xz -d address@hidden@var{system}.iso.xz
 @end example
 
 @item
@@ -7623,7 +7623,7 @@ GuixSD in a virtual machine (VM).
 @subsection DVD Installation
 
 An installation image for DVDs can be downloaded from
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz},
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz},
 where @var{system} is one of:
 
 @table @code
@@ -7639,8 +7639,8 @@ Make sure to download the associated @file{.sig} file and 
to verify the
 authenticity of the image against it, along these lines:
 
 @example
-$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz.sig
-$ gpg --verify address@hidden@var{system}.xz.sig
+$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz.sig
+$ gpg --verify address@hidden@var{system}.iso.xz.sig
 @end example
 
 If that command fails because you do not have the required public key,
@@ -7664,7 +7664,7 @@ To copy the image to a DVD, follow these steps:
 Decompress the image using the @command{xz} command:
 
 @example
-xz -d address@hidden@var{system}.xz
+xz -d address@hidden@var{system}.iso.xz
 @end example
 
 @item