aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 802cdfe20d..75c7856120 100755
--- a/configure
+++ b/configure
@@ -1432,7 +1432,7 @@ echo "configure:1432: 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])
+ 1.6[89] | 1.7[0-9])
ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;;
*) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;;
@@ -2086,7 +2086,7 @@ else
echo '* Prog: (prog). Program.'
echo 'END-INFO-DIR-ENTRY') >conftest.d/prog.info
if $INSTALL_INFO --info-dir=conftest.d conftest.d/prog.info >&5 2>&1
- then
+ then
if grep -s 'i-d-s works' conftest.d/dir >/dev/null
then libc_cv_old_debian_install_info=no
else libc_cv_old_debian_install_info=yes