diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-12-04 21:13:40 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-12-04 21:13:40 -0500 |
| commit | de0e31edcc3ab6ded038e43625b125d01c6b299d (patch) | |
| tree | 1f25a722ff50fe3164368b227b8b3f969eb0c6f2 /configure.ac | |
| parent | 2e7cddd30317b7951c5425a5769ac9f33136f72f (diff) | |
| download | emacs-de0e31edcc3ab6ded038e43625b125d01c6b299d.tar.gz | |
* configure.ac: Handle info/ files with or without ".info" extension.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 321cbd267f2..594fe94214d 100644 --- a/configure.ac +++ b/configure.ac @@ -814,7 +814,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 AC_MSG_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 |