OK for trunk? ("make info" and "make dvi" seem to work, though I don't
have a dvi viewer handy).
commit fb34f52e9f9f1dcce416cb45dab23ec10625ad16
Author: David Malcolm <dmalc...@redhat.com>
Date: Thu Jul 25 12:07:26 2013 -0400
gcc/
* doc/install.texi (A POSIX or SVR4 awk): Add note about not
relying on gawk extensions.
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index e05cbed..96e779c 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -286,6 +286,9 @@ 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.
+Note that awk scripts should not make use of gawk extensions. You can
+disable these in gawk using the @option{-c} option.
+
@item GNU binutils
Necessary in some circumstances, optional in others. See the
