HCoop / jackhill / guix / guix.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 4685200)
doc: Clarify further the distinction between the web-based manuals.
authorLeo Famulari <leo@famulari.name>
Tue, 20 Apr 2021 16:44:21 +0000 (12:44 -0400)
committerLeo Famulari <leo@famulari.name>
Tue, 20 Apr 2021 16:48:32 +0000 (12:48 -0400)
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.


No differences found
jackhill's copy of GNU Guix: https://guix.gnu.org/