Package: texinfo Version: 4.13a.dfsg.1-6 Severity: normal This part of /usr/bin/texi2dvi if test $? != 0; then cat "$version_test_dir/txiversion.out" cat "$version_test_dir/txiversion.err" >&2 error 1 "texinfo.tex appears to be broken, quitting." fiis dead code. The whole script is run under "set -e", so if $TEX fails, the script will be termined with no error message shown.
-- Jakub Wilk