mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-04-07 21:50:35 +02:00
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.