Ticket #13314: patch-configure-texinfo

File patch-configure-texinfo, 510 bytes (added by roland@…, 16 years ago)

Fix test looking for Texinfo >= 4.2.

Line 
1--- configure.orig      2006-11-21 18:48:36.000000000 +0100
2+++ configure   2007-12-09 18:49:24.000000000 +0100
3@@ -3549,7 +3549,7 @@
4     # For an installed makeinfo, we require it to be from texinfo 4.2 or
5     # higher, else we use the "missing" dummy.
6     if ${MAKEINFO} --version \
7-       | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|[5-9])' >/dev/null 2>&1; then
8+       | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|4\.1[0-9]|[5-9])' >/dev/null 2>&1; then
9       :
10     else
11       MAKEINFO="$MISSING makeinfo"