guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#66148] [PATCH] doc: Mention it when we were pulled.


From: Ludovic Courtès
Subject: [bug#66148] [PATCH] doc: Mention it when we were pulled.
Date: Sat, 14 Oct 2023 17:34:05 +0200
User-agent: Gnus/5.13 (Gnus v5.13)

Hi,

Tobias Geerinckx-Rice <me@tobias.gr> skribis:

> Now that we use the latest release VERSION even for pulled Guixes,
> make it abundantly clear that this is a later build.
>
> * guix/self.scm (info-manual): @set the PULLED flag in version.texi.
> * doc/guix.texi (Top): Honour it.

Even simpler.  LGTM!

Ludo’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]