bug#32845: guix.info: Missing manual

[Ludovic Courtès]

Hello,

Ricardo Wurmus <address@hidden> skribis:

> The copy at guix.info does not use the same gnu.org/software/guix
> prefix, so all links to the manual are likely wrong.
>
> This needs to be fixed in our website code, so that the same code works
> for both sites.

I wonder what should be done with guix.info: should we keep it as a
mirror, or should it redirect to gnu.org, or the opposite?

My initial plan was to use guix.gnu.org as the primary domain but we’re
stuck with the “Let’s Encrypt vs. multiple entries in DNS A records”
issue.  At the same time, guix.info works just fine.

Thoughts?

Ludo’.