Daily documentation build?

[Páli Gábor János]

2014-11-19 19:28 GMT+01:00 Páli Gábor János <pali.gabor at gmail.com>:
> 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.

Yay, I have managed to fix the problem with the cron job -- now the
documentation can be generated without manual intervention.