From 208cc522b93998050940372cef62287c08358188 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Tue, 22 Oct 2019 17:45:19 +0200 Subject: 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 | 10 ++++++---- 1 file 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) -- cgit v1.2.3