This is an automated email from the git hooks/post-receive script.
lfam pushed a commit to branch version-1.3.0
in repository guix.
The following commit(s) were added to refs/heads/version-1.3.0 by this push:
new 0961807 doc: Clarify further the distinction between the web-based
manuals.
0961807 is described below
commit 0961807915d7955e70a081272d857b6cbf92c0c8
Author: Leo Famulari <[email protected]>
AuthorDate: Tue Apr 20 12:44:21 2021 -0400
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 b338004..72792b4 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -948,7 +948,7 @@ from SOURCE."
(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
