diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-10-20 23:19:48 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-21 19:19:33 +0200 |
commit | 8fe7c89f0c618075d8a31d997bd3eb86e6999f9d (patch) | |
tree | 031191b01bf15e302e23c84eaea7af837da8d159 | |
parent | 3722648f71491c1e1374d9c3bc6bc7f1e9d1a842 (diff) | |
download | guix-8fe7c89f0c618075d8a31d997bd3eb86e6999f9d.tar.gz guix-8fe7c89f0c618075d8a31d997bd3eb86e6999f9d.zip |
doc: Cookbook links to /manual/devel, not /manual.
Since the Cookbook is built from the 'master' branch, it should point to
the manual from that same branch.
* doc/build.scm (guix-mono-node-indexes, guix-split-node-indexes): Link
to /manual/devel when %MANUAL is not "guix".
-rw-r--r-- | doc/build.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/build.scm b/doc/build.scm index 7d17a16d2a..d77fc0a700 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -1198,7 +1198,8 @@ by 'html-identifier-indexes'." #:manual-name "guix" #:base-url (if (string=? %manual "guix") (const "") - (cut string-append "/manual/" <>)) + (cut string-append + "/manual/devel/" <>)) #:languages %languages)) (define guix-split-node-indexes @@ -1207,8 +1208,9 @@ by 'html-identifier-indexes'." #:manual-name "guix" #:base-url (if (string=? %manual "guix") (const "") - (cut string-append "/manual/" <> - "/html_node")) + (cut string-append + "/manual/devel/" <> + "/html_node")) #:languages %languages)) (define mono-node-indexes |