From e949606026a282fd780a44cd8d861995498b5920 Mon Sep 17 00:00:00 2001 From: Hans-Peter Nilsson Date: Tue, 6 Nov 2001 07:20:20 +0000 Subject: [PATCH] * Makefile.in (MAKEINFO): Use "missing" for makeinfo older than 4.0. --- ChangeLog | 4 ++++ Makefile.in | 6 +++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index c7b61dd50..d9c69e20b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2001-11-06 Hans-Peter Nilsson + + * Makefile.in (MAKEINFO): Use "missing" for makeinfo older than 4.0. + 2001-10-24 Jeff Holcomb Makefile.in (all-bison): Don't depend on texinfo. diff --git a/Makefile.in b/Makefile.in index 0cfeb53dc..2b713fa57 100644 --- a/Makefile.in +++ b/Makefile.in @@ -141,9 +141,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