On 11/14/14 10:31, Jakub Jelinek wrote:
On Fri, Nov 14, 2014 at 12:01:43PM +0100, Richard Biener wrote:doc/invoke.texi also talks about it, wonder if it shouldn't be mentioned elsewhere, install.texi?Sure - the configure option should be mentioned in install.texi as well.Here it is. Ok for trunk? 2014-11-14 Jakub Jelinek <ja...@redhat.com> * doc/install.texi (--with-diagnostics-color=): Document.
OK. jeff
