diff options
Diffstat (limited to 'm4/texinfo.m4')
| -rw-r--r-- | m4/texinfo.m4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/m4/texinfo.m4 b/m4/texinfo.m4 index e5316d5b590..251d039df2c 100644 --- a/m4/texinfo.m4 +++ b/m4/texinfo.m4 @@ -17,9 +17,9 @@ AC_DEFUN([gl_SET_MAKEINFO],[dnl [## Require makeinfo >= 4.13 (last of the 4.x series) to build the manuals. : ${MAKEINFO:=makeinfo} case `($MAKEINFO --version) 2>/dev/null` in - *' (GNU texinfo) '4.1[[3-9]]* | \ - *' (GNU texinfo) '[[5-9]]* | \ - *' (GNU texinfo) '[[1-9][0-9]]* ) ;; + *' (GNU texinfo) '4.1[3-9]* | \ + *' (GNU texinfo) '[5-9]* | \ + *' (GNU texinfo) '[1-9][0-9]* ) ;; *) MAKEINFO=no;; esac |