This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch version-1.4.0
in repository guix.
The following commit(s) were added to refs/heads/version-1.4.0 by this push:
new 88c2e2349a doc: Use versioned manual URLs.
88c2e2349a is described below
commit 88c2e2349a787b5769e421c4b25ef02af32a7b99
Author: Rutherther <[email protected]>
AuthorDate: Sun Jan 18 12:46:51 2026 +0100
doc: Use versioned manual URLs.
* doc/build.scm (stylized-html): Move to versioned manual URL.
(html-manual): Use versioned manual URL.
* doc/htmlxref.cnf (GUIX): Add /1.4.0.
Change-Id: I82048a9548894e335e7c2427a739733304a7961a
Co-authored-by: Ludovic Courtès <[email protected]>
Fixes: #5681
---
doc/build.scm | 6 ++++--
doc/htmlxref.cnf | 4 ++--
2 files changed, 6 insertions(+), 4 deletions(-)
diff --git a/doc/build.scm b/doc/build.scm
index ac14316e3c..a459d84107 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -858,7 +858,8 @@ in SOURCE."
(define version-links
(list (menu-item #$latest-version
(string-append
- "/manual/" language
+ "/manual/" #$latest-version
+ "/" language
(if split-node? "/html_node" "")))
(menu-item "development"
(string-append
@@ -1023,7 +1024,8 @@ makeinfo OPTIONS."
(let* ((texi (language->texi-file-name language))
(opts `("--html"
"-c" ,(string-append
"TOP_NODE_UP_URL=/manual/"
- language)
+
#$%latest-guix-version
+ "/" language)
#$@options
,texi)))
(format #t "building HTML manual for language
'~a'...~%"
diff --git a/doc/htmlxref.cnf b/doc/htmlxref.cnf
index d8a7aa12c9..4f0b309112 100644
--- a/doc/htmlxref.cnf
+++ b/doc/htmlxref.cnf
@@ -1,7 +1,7 @@
# htmlxref.cnf - reference file for free Texinfo manuals on the web.
# Modified by Ludovic Courtès <[email protected]> for the GNU Guix manual.
-htmlxrefversion=2022-12-18.15; # UTC
+htmlxrefversion=2026-01-19.09; # UTC
# Copyright 2010-2020, 2022 Free Software Foundation, Inc.
#
@@ -415,7 +415,7 @@ guile-rpc mono ${GS}/guile-rpc/manual/guile-rpc.html
guile-rpc node ${GS}/guile-rpc/manual/html_node/
GUIX_ROOT = https://guix.gnu.org
-GUIX = ${GUIX_ROOT}/manual
+GUIX = ${GUIX_ROOT}/manual/1.4.0
guix.de mono ${GUIX}/de/guix.de.html
guix.de node ${GUIX}/de/html_node/
guix.es mono ${GUIX}/es/guix.es.html
