Daily documentation build?

[Páli Gábor János]

2014-11-19 17:31 GMT+01:00 Jan Stolarek <jan.stolarek at p.lodz.pl>:
> Looks like something is broken again :-( Builds from the last two days are
> missing.

There is a tiny bug in the script that does the generation which is
only triggered when running as a cron job. Due to this, the tarballs
are created as empty ones.  Now I fixed all the missing builds up by
manually running it.