diff options
-rwxr-xr-x | autogen/configure | 2 |
1 files changed, 1 insertions, 1 deletions
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 |