RFA: fix gdbint.info autoconf version

[Eli Zaretskii]

> Date: Mon, 26 Nov 2007 17:16:52 -0800
> From: "Douglas Evans" <dje@google.com>
> 
> How about this?

Okay, but for these two minor issues:

>  Check the @code{autoconf} version carefully.  You want to be using the
> -version taken from the @file{binutils} snapshot directory, which can be
> -found at @uref{ftp://sources.redhat.com/pub/binutils/}. It is very
> -unlikely that a system installed version of @code{autoconf} (e.g.,
> -@file{/usr/bin/autoconf}) is correct.
> +same version.

What is meant by ``the same version''? same as what?

> Currently this is 2.59.

Please remove this sentence.  "Currently" will become obsolete very
quickly, and has no real value here.  If you want to be friendly, you
could show the fragment of `configure' where one sees the version, and
state that in this fragment the version is so-and-so.

Thanks.