Commit 8e97db8f by Joseph Myers Committed by Joseph Myers

configure.in: Increase required makeinfo version to 4.1.

	* configure.in: Increase required makeinfo version to 4.1.
	* configure: Regenerate.

From-SVN: r50294
parent 06487868
2002-03-05 Joseph S. Myers <jsm28@cam.ac.uk>
* configure.in: Increase required makeinfo version to 4.1.
* configure: Regenerate.
2002-03-04 Geoffrey Keating <geoffk@redhat.com> 2002-03-04 Geoffrey Keating <geoffk@redhat.com>
* .cvsignore: Remove *.info* and genrtl*; these files are generated * .cvsignore: Remove *.info* and genrtl*; these files are generated
......
...@@ -2085,7 +2085,7 @@ EOF ...@@ -2085,7 +2085,7 @@ EOF
fi fi
# Find some useful tools # Find some useful tools
for ac_prog in gawk mawk nawk awk for ac_prog in mawk gawk nawk awk
do do
# Extract the first word of "$ac_prog", so it can be a program name with args. # Extract the first word of "$ac_prog", so it can be a program name with args.
set dummy $ac_prog; ac_word=$2 set dummy $ac_prog; ac_word=$2
...@@ -3105,7 +3105,7 @@ else ...@@ -3105,7 +3105,7 @@ else
echo "configure:3106: version of makeinfo is $ac_prog_version" >&5 echo "configure:3106: version of makeinfo is $ac_prog_version" >&5
case $ac_prog_version in case $ac_prog_version in
'') gcc_cv_prog_makeinfo_modern=no;; '') gcc_cv_prog_makeinfo_modern=no;;
4.*) 4.[1-9]*)
gcc_cv_prog_makeinfo_modern=yes;; gcc_cv_prog_makeinfo_modern=yes;;
*) gcc_cv_prog_makeinfo_modern=no;; *) gcc_cv_prog_makeinfo_modern=no;;
esac esac
......
...@@ -494,7 +494,7 @@ else ...@@ -494,7 +494,7 @@ else
# that we can use it. # that we can use it.
gcc_AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, gcc_AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version,
[GNU texinfo.* \([0-9][0-9.]*\)], [GNU texinfo.* \([0-9][0-9.]*\)],
[4.*]) [4.[1-9]*])
fi fi
if test $gcc_cv_prog_makeinfo_modern = no; then if test $gcc_cv_prog_makeinfo_modern = no; then
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment