[bug#66148] Fix Guix version number in pulled (=most) manuals

[Simon Tournier]

Hi,

On Mon, 25 Sep 2023 at 16:57, Ludovic Courtès <ludo@gnu.org> wrote:
> Tobias Geerinckx-Rice <me@tobias.gr> skribis:
>
>> Sounds good, but my main objection is to the bogus URLs and image file names.
>
> Oh right.
>
>> I considered a simpler @set RELEASE 1.4.0 that is 'manually' updated
> >on each stable & rc release, but prefer automation.  However, I'm not
>> familiar with the work of a release manager.  If they are expected to
>> run some script anyway, that could work. 

And VERSION also leads to broken URL, as with:

    
@url{@value{BASE-URL}/guix-system-vm-image-@value{VERSION}.x86_64-linux.qcow2}

Cheers,
simon