Don't use REPLACE_BASH in util/texi2dvi script.  /bin/sh seems fine
in my testing.  Adding dependency on bash in gtexinfo causes a circular
dependency on hosts without makeinfo since bash requires makeinfo and
makeinfo gets replaced with gtexinfo.

(seanb)