doc: Use the right title in HTML indices for the cookbook.
authorLudovic Courtès <ludo@gnu.org>
Tue, 22 Oct 2019 15:45:19 +0000 (17:45 +0200)
committerLudovic Courtès <ludo@gnu.org>
Tue, 22 Oct 2019 16:32:52 +0000 (18:32 +0200)
commit208cc522b93998050940372cef62287c08358188
tree357b5c8396413eac7c1e9dd614ace0f5c091586b
parent00850bb836e1027edb310f3dc69b897f031e23e0
doc: Use the right title in HTML indices for the cookbook.

* doc/build.scm (html-manual-indexes): Add #:title.
[build]: Replace "GNU Guix Reference Manual" by references to TITLE.
doc/build.scm