+2012-12-05 Glenn Morris <rgm@gnu.org>
+
+ * configure.ac: Handle info/ files with or without ".info" extension.
+
2012-11-24 Eli Zaretskii <eliz@gnu.org>
- * make-dist (nt): Adjust to changes in names of the *.manifest
- files.
+ * make-dist (nt): Adjust to changes in names of the *.manifest files.
2012-11-21 Glenn Morris <rgm@gnu.org>
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