diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2014-09-24 19:59:45 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2014-09-24 19:59:45 -0700 |
| commit | 2494447b719e8d50eee6fc04b83b44b957b67957 (patch) | |
| tree | 7fb314cae17db6c25e9da388da5da4d4defab352 | |
| parent | 10381f58949355413c86315c571508afb40f0de6 (diff) | |
| download | emacs-2494447b719e8d50eee6fc04b83b44b957b67957.tar.gz emacs-2494447b719e8d50eee6fc04b83b44b957b67957.tar.bz2 emacs-2494447b719e8d50eee6fc04b83b44b957b67957.zip | |
* configure.ac (MAKEINFO): Allow 'makeinfo' to be called 'texi2any'.
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | configure.ac | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog index adc0a509490..9aac8d0496b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-09-25 Paul Eggert <eggert@cs.ucla.edu> + + * configure.ac (MAKEINFO): Allow 'makeinfo' to be called 'texi2any'. + 2014-09-23 Paul Eggert <eggert@cs.ucla.edu> Merge from gnulib, incorporating: diff --git a/configure.ac b/configure.ac index 179a4a5faea..4d9cc0d0274 100644 --- a/configure.ac +++ b/configure.ac @@ -1103,10 +1103,10 @@ if test "$MAKEINFO" != "no"; then MAKEINFO=makeinfo fi case `($MAKEINFO --version) 2>/dev/null` in - 'makeinfo (GNU texinfo) '4.[[7-9]]* | \ - 'makeinfo (GNU texinfo) '4.[[1-9][0-9]]* | \ - 'makeinfo (GNU texinfo) '[[5-9]]* | \ - 'makeinfo (GNU texinfo) '[[1-9][0-9]]* ) ;; + *' (GNU texinfo) '4.[[7-9]]* | \ + *' (GNU texinfo) '4.[[1-9][0-9]]* | \ + *' (GNU texinfo) '[[5-9]]* | \ + *' (GNU texinfo) '[[1-9][0-9]]* ) ;; *) MAKEINFO=no;; esac fi |