You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

17 lines
341 B

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