Re: Daily documentation build?

2014-11-07 13:54 GMT+01:00 Thomas Miedema :

Thanks, for working on this. Fyi: that link only shows a few empty bz2 files at the moment.

Ooops, sorry -- it is now fixed.