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