<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">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
     ;;
 
</pre></body></html>