From 46852000c99b226ee61384e3b63595e9ffdaaf10 Mon Sep 17 00:00:00 2001 From: Leo Famulari Date: Tue, 20 Apr 2021 12:44:21 -0400 Subject: [PATCH] doc: Clarify further the distinction between the web-based manuals. As discussed on #guix IRC, several of us struggle to reliably choose the right option based on the old labels: https://logs.guix.gnu.org/guix/2021-04-20.log#182137 * doc/build.scm (html-manual-indexes): Try to distinguish between the two options more clearly. --- doc/build.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/build.scm b/doc/build.scm index b338004b82..72792b42d2 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -948,7 +948,7 @@ (define title (div (ul (li (a (@ (href "html_node")) - "HTML, with one page per node")) + "HTML, with a separate page per node")) (li (a (@ (href ,(string-append #$manual