--- texinfo-4.6/util/texi2dvi.orig	2003-10-27 16:25:56 +0300

+++ texinfo-4.6/util/texi2dvi	2003-10-27 16:25:56 +0300

@@ -206,6 +206,17 @@

   ;;

 esac

+if ! command -v tex >/dev/null 2>&1; then

+  cat <<%EOM%

+You don't have a working TeX binary installed, but the texi2dvi script

+can't proceed without it. If you want to use this script, you have to

+install some kind of TeX, for example ALT tetex packages. You can do

+that with this command:

+	apt-get install tetex

+%EOM%

+  exit 1

+fi

+

 # Prepare the temporary directory.  Remove it at exit, unless debugging.

 tmpdir=`mktemp -dt texi2dvi.XXXXXXXXXX` || exit 1