--- 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