--- texinfo/util/texi2dvi +++ texinfo/util/texi2dvi @@ -27,6 +27,17 @@ # No failure shall remain unpunished. set -e +if ! command -v tex >/dev/null 2>&1; then + cat >&2 <<%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 Linux TeX Live packages. +You can do that with this command: + apt-get install /usr/bin/tex +%EOM% + exit 1 +fi + # This string is expanded by rcs automatically when this file is checked out. rcs_revision='$Revision: 1.135 $' rcs_version=`set - $rcs_revision; echo $2`