diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 3bd422e822..dacf558851 100644 --- a/configure.in +++ b/configure.in @@ -533,7 +533,7 @@ AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, [3.1[1-9] | 3.[2-9][0-9] | 4.* | 1.6[89] | 1.7[0-9]], MAKEINFO=: aux_missing=t) AC_CHECK_PROG_VER(SED, gsed sed, --version, [GNU sed version \([0-9]*\.[0-9.]*\)], - [3.0[2-9]|3.[1-9]*|[4-9]*], SED=: aux_missing=t) + [3.0[2-9]*|3.[1-9]*|[4-9]*], SED=: aux_missing=t) if test -n "$critic_missing"; then AC_MSG_ERROR([ |