diff options
author | schwab <> | 2007-09-17 21:44:27 +0000 |
---|---|---|
committer | schwab <> | 2007-09-17 21:44:27 +0000 |
commit | a81d16f6ca29c66ef43a59e09ac039d599962924 (patch) | |
tree | 4c1117deaa11df71cb6f2791a6408ba6a77ce7b6 /configure | |
parent | db9b6ccdb428f97cf424d1f79ac420b28a7b3679 (diff) |
* configure.ac: Raise minimum makeinfo version to 4.6.
* configure: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index 47194cd71ce..27edacd37d5 100755 --- a/configure +++ b/configure @@ -6189,10 +6189,10 @@ case " $build_configdirs " in *" texinfo "*) MAKEINFO='$$r/$(BUILD_SUBDIR)/texinfo/makeinfo/makeinfo' ;; *) - # For an installed makeinfo, we require it to be from texinfo 4.4 or + # For an installed makeinfo, we require it to be from texinfo 4.6 or # higher, else we use the "missing" dummy. if ${MAKEINFO} --version \ - | egrep 'texinfo[^0-9]*(4\.([4-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*(4\.([6-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |