diff options
| author | Glenn Morris | 2012-12-05 07:17:30 -0500 |
|---|---|---|
| committer | Glenn Morris | 2012-12-05 07:17:30 -0500 |
| commit | f32203e1b795ab6e371d80c2b5a0faf9477b4fcf (patch) | |
| tree | 565e92d3d5efe00647e0aa28b6e01ded0465f7f4 | |
| parent | ef54d315e8b5472580501b25fc640aba62e98d41 (diff) | |
| download | emacs-f32203e1b795ab6e371d80c2b5a0faf9477b4fcf.tar.gz emacs-f32203e1b795ab6e371d80c2b5a0faf9477b4fcf.zip | |
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 | |||
| 8103 | MAKEINFO=makeinfo | 8103 | MAKEINFO=makeinfo |
| 8104 | if test "x${with_makeinfo}" = "xno"; then | 8104 | if test "x${with_makeinfo}" = "xno"; then |
| 8105 | HAVE_MAKEINFO=no | 8105 | HAVE_MAKEINFO=no |
| 8106 | elif test ! -e $srcdir/info/emacs; then | 8106 | elif test ! -e $srcdir/info/emacs && test ! -e $srcdir/info/emacs.info; then |
| 8107 | as_fn_error "You do not seem to have makeinfo >= 4.7, and your | 8107 | as_fn_error "You do not seem to have makeinfo >= 4.7, and your |
| 8108 | source tree does not seem to have pre-built manuals in the \`info' directory. | 8108 | source tree does not seem to have pre-built manuals in the \`info' directory. |
| 8109 | Either install a suitable version of makeinfo, or re-run configure | 8109 | Either install a suitable version of makeinfo, or re-run configure |