summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAndreas Schwab <schwab@suse.de>2007-09-17 20:59:06 +0000
committerAndreas Schwab <schwab@suse.de>2007-09-17 20:59:06 +0000
commit58a9dc8742b4b6929da3131e0715ecc8c6e39df7 (patch)
tree6ad51fc1e6f347327b9e27b3a2db5e1c37e8ac88 /configure
parent79e12c731887bbff4200b772defa576158c0d36d (diff)
downloadgdb-58a9dc8742b4b6929da3131e0715ecc8c6e39df7.tar.gz
* configure.ac: Raise minimum makeinfo version to 4.6.
* configure: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
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"