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 | |
| parent | 00850bb836e1027edb310f3dc69b897f031e23e0 (diff) | |
| download | patches-208cc522b93998050940372cef62287c08358188.tar 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.
| -rw-r--r-- | doc/build.scm | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/build.scm b/doc/build.scm index 45a863503a..81bb94670a 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -584,6 +584,9 @@ from SOURCE." #:key (languages %languages) (version "0.0") (manual %manual) + (title (if (string=? "guix" manual) + "GNU Guix Reference Manual" + "GNU Guix Cookbook")) (date 1)) (define build (with-extensions (list guile-json-3) @@ -687,7 +690,7 @@ from SOURCE." (define (language-index language) (define title - (translate "GNU Guix Reference Manual" language)) + (translate #$title language)) (sxml-index language title @@ -745,8 +748,7 @@ from SOURCE." %iso639-languages))) (define (top-level-index languages) - (define title - "GNU Guix Reference Manual") + (define title #$title) (sxml-index "en" title `(main @@ -754,7 +756,7 @@ from SOURCE." (@ (class "page centered-block limit-width")) (h2 ,title) (div - "The GNU Guix Reference Manual is available in the following + "This document is available in the following languages:\n" (ul ,@(map (lambda (language) |