If TEXINFOS defined but texinfo.tex does not exist, give warning.

diff --git a/automake.in b/automake.in
index 213374fc9953fe72f11e9245b017a861d230fb5d..d4e37c1c4eaada9ede0ae698621fd39b5efe3b75 100755 (executable)
--- a/automake.in
+++ b/automake.in
@@ -364,6 +364,16 @@ ${am_file}_OBJECTS = ${am_file}.${kr}o" >&4
      ;;
   esac
 
+  #
+  # Some final checks.
+  #
+
+  (test -n "$TEXINFOS" && test -f $am_reldir/texinfo.tex) || {
+     echo "automake: ${am_makefile}.am defines TEXINFOS, but" 1>&2
+     echo "automake: ${am_reldir}/texinfo.tex does not exist" 1>&2
+  }
+
+
   sed '/^[^#=]*:/,$d' ${am_makefile}.am >&4
   sed -n '/^[^#=]*:/,$p' ${am_makefile}.am >&5
   cat ${am_makefile}.vars ${am_makefile}.rules > ${am_makefile}.in