Subject: Re: [bug#41565] [PATCH] doc: Use existing URLs and file names in installation instructions.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Wed, 27 May 2020 23:29:11 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Wed, 27 May 2020 22:44:44 +0200,
Marius Bakke <[email-masked]> a écrit :

> Julien Lepiller <[email-masked]> writes:
> 
> > Wdyt?  
> 
> Sgtm.
> 
> [...]
> 
> > -@indicateurl{@value{BASE-URL}/guix-binary-@value{VERSION}.@var{system}.tar.xz},
> > -where @var{system} is @code{x86_64-linux} for an @code{x86_64}
> > machine -already running the kernel Linux, and so on.
> > +@indicateurl{@value{BASE-URL}/guix-binary-@value{VERSION}.x86_64-linux.tar.xz},
> > +where @code{x86_64-linux} can be replaced with @code{xi686-linux}
> > for an  
>                                                        ^^^ stray 'x'

Pushed as f18d5d75979f5374962c03a8f3c266054a489e11 with this fix, a
copyright line for me and an improved commit message.

Thank you!