[PATCH] Document --with-diagnostics-color=

[Jeff Law]

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  <jakub@redhat.com>
>
> 	* doc/install.texi (--with-diagnostics-color=): Document.
OK.
jeff