--- util/texi2dvi.orig Fri Mar 5 19:45:29 2004 +++ util/texi2dvi Fri Mar 5 19:48:08 2004 @@ -449,7 +449,7 @@ *) # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex. bibtex= - texindex=${TEXINDEX:-texindex} + texindex=${TEXINDEX:-jtexindex} textra_cmd='/^@setfilename/a' if test $oformat = dvi; then tex=${TEX:-ptex} @@ -459,7 +459,7 @@ # Unless required by the user, makeinfo expansion is wanted only # if texinfo.tex is too old. if test "$expand" = t; then - makeinfo=${MAKEINFO:-makeinfo} + makeinfo=${MAKEINFO:-jmakeinfo} else # Check if texinfo.tex performs macro expansion by looking for # its version. The version is a date of the form YEAR-MO-DA. @@ -476,7 +476,7 @@ if test "$txiprereq" -le "$txiversion" >/dev/null 2>&1; then makeinfo= else - makeinfo=${MAKEINFO:-makeinfo} + makeinfo=${MAKEINFO:-jmakeinfo} fi # As long as we had to run TeX, offer the user this convenience: test "$txiformat" = Texinfo && escape=@