diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-12-06 06:17:45 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-12-06 06:17:45 -0500 |
| commit | 71ca0998ccc319ed20acb1b6dca72647af74fa40 (patch) | |
| tree | 40a59ee71acd57f179bc55a3ec26b0ba4f54c8f7 /autogen | |
| parent | 5504e2c7ecd37115d4bb4105eca7b441336157f8 (diff) | |
| download | emacs-71ca0998ccc319ed20acb1b6dca72647af74fa40.tar.gz | |
Auto-commit of generated files.
Diffstat (limited to 'autogen')
| -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 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 |