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) | |
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 7d17a16d2a3..d77fc0a7009 100644 --- a/doc/build.scm +++ b/doc/build.scm | |||
| @@ -1198,7 +1198,8 @@ by 'html-identifier-indexes'." | |||
| 1198 | #:manual-name "guix" | 1198 | #:manual-name "guix" |
| 1199 | #:base-url (if (string=? %manual "guix") | 1199 | #:base-url (if (string=? %manual "guix") |
| 1200 | (const "") | 1200 | (const "") |
| 1201 | (cut string-append "/manual/" <>)) | 1201 | (cut string-append |
| 1202 | "/manual/devel/" <>)) | ||
| 1202 | #:languages %languages)) | 1203 | #:languages %languages)) |
| 1203 | 1204 | ||
| 1204 | (define guix-split-node-indexes | 1205 | (define guix-split-node-indexes |
| @@ -1207,8 +1208,9 @@ by 'html-identifier-indexes'." | |||
| 1207 | #:manual-name "guix" | 1208 | #:manual-name "guix" |
| 1208 | #:base-url (if (string=? %manual "guix") | 1209 | #:base-url (if (string=? %manual "guix") |
| 1209 | (const "") | 1210 | (const "") |
| 1210 | (cut string-append "/manual/" <> | 1211 | (cut string-append |
| 1211 | "/html_node")) | 1212 | "/manual/devel/" <> |
| 1213 | "/html_node")) | ||
| 1212 | #:languages %languages)) | 1214 | #:languages %languages)) |
| 1213 | 1215 | ||
| 1214 | (define mono-node-indexes | 1216 | (define mono-node-indexes |
