1 files changed, 1 insertions, 1 deletions

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