% texi2dvi --version
/usr/local/bin/texi2dvi: local: not foundFYI, I made the following change. @@ -131,3 +131,3 @@ } - test_local + test_local >/dev/null 2>&1 test $foo = bar If you feel like trying it, the current texi2dvi can be retrieved from http://cvs.savannah.gnu.org/viewvc/*checkout*/texinfo/util/texi2dvi?root=texinfo It should be drop-in-able. If there are ill effects, I'd like to know. But if you don't have time, I understand :). Thanks, Karl
