Thank you Ludo, with your diff, building doc/build.scm failed previously and works for me now. I tested and pushed it to branch `version-1.4.0' yesterday evening.
But mcron should have picked it up by now, but has not. Maybe someone could look at the logs? Or wait some more. Regards, Florian
