diff options
| author | Hans-Peter Nilsson <hp@bitrange.com> | 2001-11-06 07:15:44 +0000 |
|---|---|---|
| committer | Hans-Peter Nilsson <hp@gcc.gnu.org> | 2001-11-06 07:15:44 +0000 |
| commit | 53cdb27aadfc78f961dbaa110e8df33ce25888cd (patch) | |
| tree | b3ff094e6c72df67d88217b29d05c876ebda22af /Makefile.in | |
| parent | 9f6682b7220252a5d65bf4fb9728c7a2dd4aa3ee (diff) | |
| download | gcc-53cdb27aadfc78f961dbaa110e8df33ce25888cd.zip gcc-53cdb27aadfc78f961dbaa110e8df33ce25888cd.tar.gz gcc-53cdb27aadfc78f961dbaa110e8df33ce25888cd.tar.bz2 | |
* Makefile.in (MAKEINFO): Use "missing" for makeinfo older than 4.0.
From-SVN: r46802
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 379a779..6d6c159 100644 --- a/Makefile.in +++ b/Makefile.in @@ -140,9 +140,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 +# higher, else we use the "missing" dummy. MAKEINFO = `if [ -f $$r/texinfo/makeinfo/Makefile ] ; \ then echo $$r/texinfo/makeinfo/makeinfo ; \ - else echo makeinfo ; fi` + else if (makeinfo --version \ + | egrep 'texinfo[^0-9]*([1-3][0-9]|[4-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 # sub-makes. It lets flags be given on the command line while still |