gentoo-overlay/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch

Chances are quite good that the installed makeinfo is sufficient.
So ignore false positives where the makeinfo installed is so new
that it violates the cheesy version grep.

http://bugs.gentoo.org/198182

--- a/configure
+++ b/configure
@@ -3573,6 +3573,6 @@
       :
     else
-      MAKEINFO="$MISSING makeinfo"
+      :
     fi
     ;;