I'm a GDB committer and have filed bugs on GCC's bugzilla before; one of these could be the reason behind me having that account (I don't know, I don't remember making it :) ). I'll need someone to push it for me. Your proposed improvement sounds good to me.
Thanks, -Manish On Sat, Aug 6, 2016 at 9:31 PM, Gerald Pfeifer <ger...@pfeifer.com> wrote: > Hi Manish, > > On Thu, 30 Jun 2016, Manish Goregaokar wrote: >> * doc/install.texi: Mention download_prerequisites > > this is okay (and sorry for the delay, I have unexpectedly > "disappeared" for the month of July). > > One suggestion: > >> +install the libraries. Alternatively, running >> +@code{contrib/download_prerequisites} from the root directory of the source >> +tree will fetch these libraries and place them in the appropriate locations >> +for the build. > > How about saying "...the sources for these libraries..." or so, > such that people don't get to believe we are providing/downloading > binaries? > > I was going to offer to apply the patch for you since you do not > appear in gcc/MAINTAINERS, but it seems you do have an account on > gcc.gnu.org after all? Do you need to update MAINTAINERS still? > > Gerald