Auto-commit of generated files.

diff --git a/autogen/configure b/autogen/configure
index 9b3b3e41d2259d58ea0d8a1dc853390eee399117..36059c761728ee2e7fa998a2e6fe667055fcc1c6 100755 (executable)
--- a/autogen/configure
+++ b/autogen/configure
@@ -8165,7 +8165,7 @@ if test "$MAKEINFO" = "no"; then
   MAKEINFO=makeinfo
   if test "x${with_makeinfo}" = "xno"; then
     HAVE_MAKEINFO=no
-  elif test ! -e $srcdir/info/emacs; then
+  elif test ! -e $srcdir/info/emacs && test ! -e $srcdir/info/emacs.info; then
     as_fn_error "You do not seem to have makeinfo >= 4.7, and your
 source tree does not seem to have pre-built manuals in the \`info' directory.
 Either install a suitable version of makeinfo, or re-run configure