Re: [PATCH] `set -e' in gendocs.sh

[Karl Berry]

Hi Robert,

    * gendocs.sh: Use `set -e' mode.

Well, I'm not crazy about set -e, but since I already gave in with the
vastly more complex texi2dvi, it'd be silly to object now :).  I
installed the change.  Thanks.