Re: texinfo-4.11 test failure

[Karl Berry]

            * util/defs.in (TEXI2DVI_run): Use the TEXI2DVI variable rather than
            invoking the texi2dvi that happens to be installed in $PATH.

Looks good.  Thanks Bruno.