Subject: Re: bug#22687: Online manual not updated automatically

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 17 Dec 2018 12:28:41 +0100

Julien Lepiller <[email-masked]> writes:

> Following swedebugia's example, I suggest we close this bug, since we
> now have https://guix.info/manual/{de,en,fr}
>
> should we advertise that version better from the main website at
> gnu.org?

I’d prefer not to advertise guix.info just yet.  If we get the
guix.gnu.org subdomain (+ DNS delegation) set up without problems then
we might just let guix.info disappear into the void.

--
Ricardo