aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Demetriou <cgd@broadcom.com>2003-05-03 01:29:54 +0000
committerChris Demetriou <cgd@gcc.gnu.org>2003-05-02 18:29:54 -0700
commitde7222559c05f8ca95a97ae6b776acec63c954ea (patch)
treeebb3cacf789b79ca3750ec7a90a5a985509e3e4f
parentfcc8cecb81575ae3bd8886fe8157a037a7716c21 (diff)
downloadgcc-de7222559c05f8ca95a97ae6b776acec63c954ea.zip
gcc-de7222559c05f8ca95a97ae6b776acec63c954ea.tar.gz
gcc-de7222559c05f8ca95a97ae6b776acec63c954ea.tar.bz2
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
-rw-r--r--ChangeLog5
-rw-r--r--Makefile.in4
-rw-r--r--Makefile.tpl4
3 files changed, 9 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index 19fad45..9f2de2f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-05-02 Chris Demetriou <cgd@broadcom.com>
+
+ * Makefile.tpl: Require "makeinfo" from texinfo 4.2 or later.
+ * Makefile.in: Regenerate.
+
2003-05-02 Wolfgang Bangerth <bangerth@dealii.org>
* MAINTAINERS (GNATS only): Add Falk Hueffner.
diff --git a/Makefile.in b/Makefile.in
index 754329e..3f3ea9a 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
diff --git a/Makefile.tpl b/Makefile.tpl
index 018f18f..b634b35 100644
--- a/Makefile.tpl
+++ b/Makefile.tpl
@@ -194,13 +194,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