Meanwhile, even after that message, gendocs.sh ran to completion
with an exit status of 0, so someone is failing to propogate the
error status properly.I thought it was more useful to have the script generate everything it could, even if errors, for the sake of debugging/etc. But if you think it's better to use sh -e, I can be persuaded.
