Re: Daily documentation build?

2014-11-19 19:28 GMT+01:00 Páli Gábor János :

2014-11-19 17:31 GMT+01:00 Jan Stolarek :

...

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.