diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2012-05-16 18:50:39 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2012-05-16 18:50:39 +0000 |
| commit | 6a3951a036dcd40d8d81072cbc8b2cdcbd9db7a2 (patch) | |
| tree | 5748c6db806db3d9f9d39ddce652615d78100f36 /configure.in | |
| parent | 4e124cedfb293c35b37f17c41b5444a2f42e4541 (diff) | |
Update Texinfo version requirement.
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 30a062fe6d..ce4b7ad02b 100644 --- a/configure.in +++ b/configure.in @@ -919,7 +919,7 @@ AC_CHECK_PROG_VER(MSGFMT, gnumsgfmt gmsgfmt msgfmt, --version, MSGFMT=: aux_missing="$aux_missing msgfmt") AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, [GNU texinfo.* \([0-9][0-9.]*\)], - [4.*], + [4.[5-9]*|4.[1-9][0-9]*|[5-9].*], MAKEINFO=: aux_missing="$aux_missing makeinfo") AC_CHECK_PROG_VER(SED, sed, --version, [GNU sed version \([0-9]*\.[0-9.]*\)], |