bug#22687: Online manual not updated automatically

[Andreas Enge]

On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote:
> I was not courageous enough to suggest that, but this does sound like a
> good idea.

It is easy enough to have that courage when one is not the person making
the releases :-)

Andreas