Please document `contrib/download_prerequisites'

[Michael Witten]

On Thu, 30 May 2013 11:04:55 +0800, Chung-Ju Wu wrote:

> 2013/5/30 Michael Witten <mfwitten@gmail.com>:
>> It would probably be a good idea to mention:
>>
>>   contrib/download_prerequisites
>>
>> on this page:
>>
>>   http://gcc.gnu.org/install/prerequisites.html
>>
>> and probably on this page:
>>
>>   http://gcc.gnu.org/install/download.html
>>
>> Sincerely,
>> Michael Witten
> 
> Is this the page you are looking for??
> 
> http://gcc.gnu.org/wiki/InstallingGCC
> 
> See 'Support libraries' section.

I'm not looking for anything.

That wiki information should be incorporated into what that wiki page
calls `the official installation docs', and the rest of it should
probably be thrown out as superfluous.