summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorUlrich Drepper <drepper@redhat.com>2001-02-09 18:35:24 +0000
committerUlrich Drepper <drepper@redhat.com>2001-02-09 18:35:24 +0000
commit1468be215be0c510e5ce11b19d63797a39c550af (patch)
treeb87eefc92febd6f5d68c9f249087bfa976647755 /configure
parent257bdad02163893320cdb0adf9a56fdb5cf7827b (diff)
Update.
* configure.in: Require makeinfo version 4.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 8f4e778bb8..e6e3507826 100755
--- a/configure
+++ b/configure
@@ -1600,7 +1600,7 @@ echo "configure:1600: checking version of $MAKEINFO" >&5
ac_prog_version=`$MAKEINFO --version 2>&1 | sed -n 's/^.*GNU texinfo.* \([0-9][0-9.]*\).*$/\1/p'`
case $ac_prog_version in
'') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;;
- 3.1[1-9] | 3.[2-9][0-9] | 4.* | 1.6[89] | 1.7[0-9])
+ 4.*)
ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;;
*) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;;