diff options
| author | Rutherther <rutherther@ditigal.xyz> | 2026-01-18 12:46:51 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2026-01-19 10:02:52 +0100 |
| commit | 88c2e2349a787b5769e421c4b25ef02af32a7b99 (patch) | |
| tree | 9fc45c05e2074423cfccdda11f1b354b988aac3e /doc/htmlxref.cnf | |
| parent | 3bf155b888d2f38faf478477c0fc20243ea42715 (diff) | |
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
Diffstat (limited to 'doc/htmlxref.cnf')
| -rw-r--r-- | doc/htmlxref.cnf | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ | |||
| 1 | # htmlxref.cnf - reference file for free Texinfo manuals on the web. | 1 | # htmlxref.cnf - reference file for free Texinfo manuals on the web. |
| 2 | # Modified by Ludovic Courtès <ludo@gnu.org> for the GNU Guix manual. | 2 | # Modified by Ludovic Courtès <ludo@gnu.org> for the GNU Guix manual. |
| 3 | 3 | ||
| 4 | htmlxrefversion=2022-12-18.15; # UTC | 4 | htmlxrefversion=2026-01-19.09; # UTC |
| 5 | 5 | ||
| 6 | # Copyright 2010-2020, 2022 Free Software Foundation, Inc. | 6 | # Copyright 2010-2020, 2022 Free Software Foundation, Inc. |
| 7 | # | 7 | # |
| @@ -415,7 +415,7 @@ guile-rpc mono ${GS}/guile-rpc/manual/guile-rpc.html | |||
| 415 | guile-rpc node ${GS}/guile-rpc/manual/html_node/ | 415 | guile-rpc node ${GS}/guile-rpc/manual/html_node/ |
| 416 | 416 | ||
| 417 | GUIX_ROOT = https://guix.gnu.org | 417 | GUIX_ROOT = https://guix.gnu.org |
| 418 | GUIX = ${GUIX_ROOT}/manual | 418 | GUIX = ${GUIX_ROOT}/manual/1.4.0 |
| 419 | guix.de mono ${GUIX}/de/guix.de.html | 419 | guix.de mono ${GUIX}/de/guix.de.html |
| 420 | guix.de node ${GUIX}/de/html_node/ | 420 | guix.de node ${GUIX}/de/html_node/ |
| 421 | guix.es mono ${GUIX}/es/guix.es.html | 421 | guix.es mono ${GUIX}/es/guix.es.html |
