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
;;
|
