blob: 99e90998a469e8f0611dc53f3d3d500531edbb2b (
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
--- a/configure
+++ b/configure
@@ -3573,6 +3573,6 @@
:
else
- MAKEINFO="$MISSING makeinfo"
+ :
fi
;;
|
