diff options
| author | bje <bje@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-04-05 00:50:58 +0000 |
|---|---|---|
| committer | bje <bje@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-04-05 00:50:58 +0000 |
| commit | 2c45c903b95a8079077eda8541829c954cdc2f7b (patch) | |
| tree | f8b4f422798390a00ba6f65c8213f740c3567dac /configure | |
| parent | 17442a2fabddaae174ad5c45ae1b70949aaa0a32 (diff) | |
| download | gcc-2c45c903b95a8079077eda8541829c954cdc2f7b.tar.gz | |
* configure.in: Require makeinfo 4.4 or higher.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@112691 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index 2dae3f1c722..b8d5b81fc9f 100755 --- a/configure +++ b/configure @@ -3628,10 +3628,10 @@ case " $build_configdirs " in *" texinfo "*) MAKEINFO='$$r/$(BUILD_SUBDIR)/texinfo/makeinfo/makeinfo' ;; *) - # For an installed makeinfo, we require it to be from texinfo 4.2 or + # 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\.[2-9]|[5-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |