Re: texi2dvi -b not so batch

[Karl Berry]

Hi Akim,

            * util/texi2dvi: More uses of the verbose function.

By reporting actual errors using $verbose, it means that the
errors aren't shown unless --verbose is given.  E.g.,
  ./texi2dvi nonesuch.texi
after your patch is silent.  That doesn't seem right.

Ok on making the run_tex function, and redirecting from /dev/null, but I
think I'll ask you to disentangle the patch instead of trying to do so
myself ...

Unrelated question: what is file descriptor 6 for?  And does texi2dvi
really need file descriptor 5 for "tools output"?

Thanks,
karl