bug#22687: Online manual not updated automatically

[Julien Lepiller]

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