diff options
| author | Chris Demetriou <cgd@broadcom.com> | 2003-05-03 01:29:54 +0000 |
|---|---|---|
| committer | Chris Demetriou <cgd@gcc.gnu.org> | 2003-05-02 18:29:54 -0700 |
| commit | de7222559c05f8ca95a97ae6b776acec63c954ea (patch) | |
| tree | ebb3cacf789b79ca3750ec7a90a5a985509e3e4f /Makefile.in | |
| parent | fcc8cecb81575ae3bd8886fe8157a037a7716c21 (diff) | |
| download | gcc-de7222559c05f8ca95a97ae6b776acec63c954ea.tar.gz | |
Makefile.tpl: Require "makeinfo" from texinfo 4.2 or later.
2003-05-02 Chris Demetriou <cgd@broadcom.com>
* Makefile.tpl: Require "makeinfo" from texinfo 4.2 or later.
* Makefile.in: Regenerate.
From-SVN: r66415
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 754329ea2cf..3f3ea9a0261 100644 --- a/Makefile.in +++ b/Makefile.in @@ -191,13 +191,13 @@ M4 = `if [ -f $$r/m4/m4 ] ; \ then echo $$r/m4/m4 ; \ else echo ${DEFAULT_M4} ; fi` -# For an installed makeinfo, we require it to be from texinfo 4 or +# For an installed makeinfo, we require it to be from texinfo 4.2 or # higher, else we use the "missing" dummy. MAKEINFO=@MAKEINFO@ USUAL_MAKEINFO = `if [ -f $$r/texinfo/makeinfo/makeinfo ] ; \ then echo $$r/texinfo/makeinfo/makeinfo ; \ else if (makeinfo --version \ - | egrep 'texinfo[^0-9]*([1-3][0-9]|[4-9])') >/dev/null 2>&1; \ + | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|[5-9])') >/dev/null 2>&1; \ then echo makeinfo; else echo $$s/missing makeinfo; fi; fi` # This just becomes part of the MAKEINFO definition passed down to |