Daily documentation build?
Páli Gábor János
pali.gabor at gmail.com
Thu Nov 20 11:56:56 UTC 2014
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
> 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.
More information about the ghc-devs