aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authoramodra <>2007-09-14 14:42:18 +0000
committeramodra <>2007-09-14 14:42:18 +0000
commit98c3a6e8785cd590bb95d8c9fc60a7ebe6d4360c (patch)
treef70e8733b6f359b6f120116af45b32e3849f8ba1 /configure
parentaeb00249bbbcabd9debb5dfd52a3973392072e97 (diff)
* configure.ac: Correct makeinfo version check.
* configure: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 91f3168a575..47194cd71ce 100755
--- a/configure
+++ b/configure
@@ -6192,7 +6192,7 @@ case " $build_configdirs " in
# For an installed makeinfo, we require it to be from texinfo 4.4 or
# higher, else we use the "missing" dummy.
if ${MAKEINFO} --version \
- | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then
+ | egrep 'texinfo[^0-9]*(4\.([4-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then
:
else
MAKEINFO="$MISSING makeinfo"