20_warn_missing_tex.dpatch by  <preining@logic.at>

---
 util/texi2dvi |   13 +++++++++++++
 1 file changed, 13 insertions(+)

--- texinfo.orig/util/texi2dvi
+++ texinfo/util/texi2dvi
@@ -33,6 +33,19 @@
 # No failure shall remain unpunished.
 set -e
 
+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 TeX Live Debian packages. You can do
+that with this command:
+       apt-get install texlive
+%EOM%
+ exit 1
+fi
+
+
+
 # This string is expanded automatically when this file is checked out.
 rcs_revision='$Revision: 5381 $'
 rcs_version=`set - $rcs_revision; echo $2`
