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