Check docbuilding for errors.
Fix for non-git patchbot.