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 /.gitignore | |
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".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions