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