@@ -166,8 +166,9 @@
@node Top
@top GNU Guix
-This document describes GNU Guix version @value{VERSION}, a functional
-package management tool written for the GNU system.
+This document describes GNU Guix @inlineifset{GUIX-PULLED, from a
+@command{guix pull} after the release of} version @value{VERSION}, a
+functional package management tool written for the GNU system.
@c TRANSLATORS: You can replace the following paragraph with information on
@c how to join your own translation team and how to report issues with the
@@ -469,6 +469,10 @@ (define (info-manual source)
v)
"0.0-git")))
(format output "\
+@c There's no Texinfo command to test whether @value{UPDATED} ends in 1970 and
+@c tweak the intro to guix.texi accordingly, so we add this Guix-specific flag.
+@set GUIX-PULLED true
+
@set UPDATED 1 January 1970
@set UPDATED-MONTH January 1970
@set EDITION ~a