From 71ca0998ccc319ed20acb1b6dca72647af74fa40 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 6 Dec 2012 06:17:45 -0500
Subject: [PATCH] Auto-commit of generated files.

---
 autogen/configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/autogen/configure b/autogen/configure
index 9b3b3e41d22..36059c76172 100755
--- 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
-- 
2.39.5