Subject: bug#22687: Online manual not updated automatically

From: Julien Lepiller <[email-masked]>
Date: Wed, 31 Jul 2019 17:31:59 +0200

We now have guix.gnu.org/manual and /manual/devel, which I think implements this issue. Should we close it now?