diff options
| author | Glenn Morris | 2012-12-06 06:17:45 -0500 |
|---|---|---|
| committer | Glenn Morris | 2012-12-06 06:17:45 -0500 |
| commit | 71ca0998ccc319ed20acb1b6dca72647af74fa40 (patch) | |
| tree | 40a59ee71acd57f179bc55a3ec26b0ba4f54c8f7 | |
| parent | 5504e2c7ecd37115d4bb4105eca7b441336157f8 (diff) | |
| download | emacs-71ca0998ccc319ed20acb1b6dca72647af74fa40.tar.gz emacs-71ca0998ccc319ed20acb1b6dca72647af74fa40.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 9b3b3e41d22..36059c76172 100755 --- a/autogen/configure +++ b/autogen/configure | |||
| @@ -8165,7 +8165,7 @@ if test "$MAKEINFO" = "no"; then | |||
| 8165 | MAKEINFO=makeinfo | 8165 | MAKEINFO=makeinfo |
| 8166 | if test "x${with_makeinfo}" = "xno"; then | 8166 | if test "x${with_makeinfo}" = "xno"; then |
| 8167 | HAVE_MAKEINFO=no | 8167 | HAVE_MAKEINFO=no |
| 8168 | elif test ! -e $srcdir/info/emacs; then | 8168 | elif test ! -e $srcdir/info/emacs && test ! -e $srcdir/info/emacs.info; then |
| 8169 | as_fn_error "You do not seem to have makeinfo >= 4.7, and your | 8169 | as_fn_error "You do not seem to have makeinfo >= 4.7, and your |
| 8170 | source tree does not seem to have pre-built manuals in the \`info' directory. | 8170 | source tree does not seem to have pre-built manuals in the \`info' directory. |
| 8171 | Either install a suitable version of makeinfo, or re-run configure | 8171 | Either install a suitable version of makeinfo, or re-run configure |