Re: [PATCH] docs/install.texi: Add note about not relying on gawk extensions

2013-07-25 Thread Joseph S. Myers
On Thu, 25 Jul 2013, David Malcolm wrote: > OK for trunk? ("make info" and "make dvi" seem to work, though I don't > have a dvi viewer handy). This seems the wrong place. A statement about "awk scripts should not" is information for people modifying GCC, but install.texi is documentation for

[PATCH] docs/install.texi: Add note about not relying on gawk extensions

2013-07-25 Thread David Malcolm
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 Date: Thu Jul 25 12:07:26 2013 -0400 gcc/ * doc/install.texi (A POSIX or SVR4 awk): Add note about not relying on