Re: makeinfo fd leak? and gendocs.sh exit status bug

[Karl Berry]

    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.