summaryrefslogtreecommitdiff
blob: ddc098ddbd582fa45271b05dde5c4a9dbdb4248b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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

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