bug#22687: Online manual not updated automatically

[Ludovic Courtès]

Ricardo Wurmus <address@hidden> skribis:

> Many other projects publish online manuals for both stable and
> development versions.  As our releases are a little far apart and we’re
> encouraging to do “guix pull” (so users really run the development
> version) I think it would indeed make sense to also publish an
> up-to-date version of the manual along with the manual for the latest
> release.

Yeah, sounds like we should do that, probably by setting up a cron job
on one of the machines.

I’ll see what can be done if nobody beats me at it.

Ludo’.