From f32203e1b795ab6e371d80c2b5a0faf9477b4fcf Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Wed, 5 Dec 2012 07:17:30 -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 a9a48e086cc..65446c6f184 100755
--- a/autogen/configure
+++ b/autogen/configure
@@ -8103,7 +8103,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