diff options
| author | Alan Modra <modra@gmail.com> | 2007-09-14 15:47:01 +0000 |
|---|---|---|
| committer | Alan Modra <modra@gmail.com> | 2007-09-14 15:47:01 +0000 |
| commit | 70e728c2db5bea581389978701395a6a6a9870aa (patch) | |
| tree | 86c0a6da2c24e9cabd652605c1b5937f4da1d191 /configure | |
| parent | 524e457026afeedd15e8d94592a33fc795847b10 (diff) | |
| download | cygnal-70e728c2db5bea581389978701395a6a6a9870aa.tar.gz cygnal-70e728c2db5bea581389978701395a6a6a9870aa.tar.bz2 cygnal-70e728c2db5bea581389978701395a6a6a9870aa.zip | |
* configure.ac: Correct makeinfo version check.
* configure: Regenerate.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6192,7 +6192,7 @@ case " $build_configdirs " in # For an installed makeinfo, we require it to be from texinfo 4.4 or # higher, else we use the "missing" dummy. if ${MAKEINFO} --version \ - | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*(4\.([4-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |