diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-22 17:45:19 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-22 18:32:52 +0200 |
commit | 208cc522b93998050940372cef62287c08358188 (patch) | |
tree | 357b5c8396413eac7c1e9dd614ace0f5c091586b /nix | |
parent | 00850bb836e1027edb310f3dc69b897f031e23e0 (diff) | |
download | guix-patches-208cc522b93998050940372cef62287c08358188.tar guix-patches-208cc522b93998050940372cef62287c08358188.tar.gz |
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.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions