From 4fe7e75560bf9c04b27130f1fa2a737323cf9590 Mon Sep 17 00:00:00 2001 From: Andreas Schwab Date: Mon, 17 Sep 2007 22:44:27 +0000 Subject: [PATCH] configure.ac: Raise minimum makeinfo version to 4.6. * configure.ac: Raise minimum makeinfo version to 4.6. * configure: Regenerate. From-SVN: r128561 --- ChangeLog | 5 +++++ configure | 4 ++-- configure.ac | 4 ++-- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index da5a7722517..2a2a1f44d49 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2007-09-17 Andreas Schwab + + * configure.ac: Raise minimum makeinfo version to 4.6. + * configure: Regenerate. + 2007-09-17 Johannes Singler * MAINTAINERS (write-after-approval) add myself 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" diff --git a/configure.ac b/configure.ac index 1624f1e898f..a79abb66bc6 100644 --- a/configure.ac +++ b/configure.ac @@ -2459,10 +2459,10 @@ case " $build_configdirs " in *" texinfo "*) MAKEINFO='$$r/$(BUILD_SUBDIR)/texinfo/makeinfo/makeinfo' ;; *) changequote(,) - # 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"