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 /gnu/machine | |
| parent | 00850bb836e1027edb310f3dc69b897f031e23e0 (diff) | |
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 'gnu/machine')
0 files changed, 0 insertions, 0 deletions