OSDN Git Service

* configure.ac: Raise minimum makeinfo version to 4.6.
authorschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 17 Sep 2007 22:44:27 +0000 (22:44 +0000)
committerschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 17 Sep 2007 22:44:27 +0000 (22:44 +0000)
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128561 138bc75d-0d04-0410-961f-82ee72b054a4

ChangeLog
configure
configure.ac

index da5a772..2a2a1f4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2007-09-17  Andreas Schwab  <schwab@suse.de>
+
+       * configure.ac: Raise minimum makeinfo version to 4.6.
+       * configure: Regenerate.
+
 2007-09-17  Johannes Singler <singler@ira.uka.de>
 
         * MAINTAINERS (write-after-approval) add myself
index 47194cd..27edacd 100755 (executable)
--- 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"
index 1624f1e..a79abb6 100644 (file)
@@ -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"