branch version-1.3.0 updated: doc: Clarify further the distinction between the web-based manuals.

[guix-commits]

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 <leo@famulari.name>
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