diff options
author | Glenn Morris <rgm@gnu.org> | 2012-12-05 07:17:30 -0500 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2012-12-05 07:17:30 -0500 |
commit | f32203e1b795ab6e371d80c2b5a0faf9477b4fcf (patch) | |
tree | 565e92d3d5efe00647e0aa28b6e01ded0465f7f4 | |
parent | ef54d315e8b5472580501b25fc640aba62e98d41 (diff) | |
download | emacs-f32203e1b795ab6e371d80c2b5a0faf9477b4fcf.tar.gz |
Auto-commit of generated files.
-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 |