doc: Use versioned manual URLs.version-1.4.0

* 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 <ludo@gnu.org>
Fixes: #5681

2 files changed, 6 insertions, 4 deletions

diff --git a/doc/build.scm b/doc/build.scm
index ac14316e3ce..a459d841072 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 d8a7aa12c98..4f0b3091125 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 <ludo@gnu.org> 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