Subject: Re: bug#18114: Installation images have inconsistent filenames with what's documented in the manual
From: [email-masked] (Ludovic Courtès)
To: Peter Bex <[email-masked]>
Cc: [email-masked]
Date: Sat, 26 Jul 2014 23:25:52 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Peter Bex <[email-masked]> skribis:

> It turns out the filenames lack the -linux suffix as mentioned in the
> manual.  davexunit on IRC mentioned that the manual is probably good, so
> the files on FTP should be changed by someone with the required access.

Oops, indeed.  I’ve just created symlinks on the FTP server.

Thanks for the report,
Ludo’.