summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-10-22 17:45:19 +0200
committerLudovic Courtès <ludo@gnu.org>2019-10-22 18:32:52 +0200
commit208cc522b93998050940372cef62287c08358188 (patch)
tree357b5c8396413eac7c1e9dd614ace0f5c091586b /doc
parent00850bb836e1027edb310f3dc69b897f031e23e0 (diff)
downloadpatches-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.
Diffstat (limited to 'doc')
-rw-r--r--doc/build.scm10
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)