doc: Streamline recommendation of GNU awk

GNU awk 3.1.5 was released in August 2005; no need to specify this in
the context of "recent version".

gcc:
	PR other/69374
	* doc/install.texi (Prerequisites): Drop reference to GNU awk
	version 3.1.5. Remove fluff.

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index c781646ac1fa8d332f06c3c767eb7080641e67dd..906c78aaca554dfdfcd5de799e09dd1a83744249 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -339,8 +339,7 @@ work when configuring GCC@.
 @item A POSIX or SVR4 awk
 
 Necessary for creating some of the generated source files for GCC@.
-If in doubt, use a recent GNU awk version, as some of the older ones
-are broken.  GNU awk version 3.1.5 is known to work.
+If in doubt, use a recent GNU awk version.
 
 @item GNU binutils