[Bug other/57659] Failure in installing documentation of gcc-4.7.2

[ExtraLeveLInSoftware at ntlworld dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57659

--- Comment #2 from Ellis N. Thomas <ExtraLeveLInSoftware at ntlworld dot com> ---
Oops...re-used a previous report as a template!
Pls take (sub)sections 6 as 5.

(In reply to Jonathan Wakely from comment #1)
> (In reply to Ellis N. Thomas from comment #0)
> > 4 Information about the build state
> [...]
> > 6 Summary of Bugs
> 
> What happened to chapter 5? :)
>  
> > 6.2 Extra Information
> > 
> > 	If extra information about the matters reported above would be of value
> > please contact:
> > 
> > 	ExtraLeveLInSoftware at ntlworld dot com
> 
> If someone needs more info I think you can assume they'll ask for it, but
> they'll post responses to Bugzilla, and as the bug reporter you'll
> automatically get an email, so there's no need to give your contact details.