Ticket #13314: patch-configure-texinfo
File patch-configure-texinfo, 510 bytes (added by roland@…, 17 years ago) |
---|
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" |