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

From: Julien Lepiller <[email-masked]>
Date: Mon, 17 Dec 2018 11:52:06 +0100

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?