diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 22:06:35 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 22:07:55 +0100 |
commit | a27e47f9d1e22dc32bb250cfeef88cfacb930e23 (patch) | |
tree | ee4c06926ac236d5dfe5e358d20ba885b2da3b3b /doc/build.scm | |
parent | ccda88a07039c62d5d0bfde7fccef02ef3937ccf (diff) |
doc: Normalize language codes in menu URLs.
* doc/build.scm (stylized-html)[build](base-language-url): Add calls to
'normalize'.
Diffstat (limited to 'doc/build.scm')
-rw-r--r-- | doc/build.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/build.scm b/doc/build.scm index c2d2d3939f..47cff15985 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -671,8 +671,8 @@ in SOURCE." #:key split-node?) ;; Return the base URL of MANUAL for language CODE. (if split-node? - (string-append "../../" code "/html_node") - (string-append "../" code "/" manual + (string-append "../../" (normalize code) "/html_node") + (string-append "../" (normalize code) "/" manual (if (string=? code "en") "" (string-append "." code)) |