me
/
guix
Archived
1
0
Fork 0
Code

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.
master
Leo Famulari 2021-04-20 12:44:21 -04:00
parent 0e21cf7d06
commit 46852000c9
No known key found for this signature in database
GPG Key ID: 2646FA30BACA7F08
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/build.scm
View File

@ -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