Re: [wwwdocs,Java] Replace sources.redhat.com by sourceware.org

2012-10-23 Thread Mark Wielaard
On Tue, Oct 23, 2012 at 10:52:41AM +0100, Andrew Haley wrote: > On 10/23/2012 10:47 AM, Andrew Hughes wrote: > > It's never been obvious to me how the web material gets updated. GCJ > > regularly misses out on being mentioned in changes too, despite fixes going > > in. > > Web material gets upda

Re: [wwwdocs,Java] Replace sources.redhat.com by sourceware.org

2012-10-23 Thread Andrew Haley
On 10/23/2012 10:47 AM, Andrew Hughes wrote: > It's never been obvious to me how the web material gets updated. GCJ > regularly misses out on being mentioned in changes too, despite fixes going > in. Web material gets updated with patches through the same process as the software. Andrew.

Re: [wwwdocs,Java] Replace sources.redhat.com by sourceware.org

2012-10-23 Thread Andrew Hughes
- Original Message - > ...and some other simplifications and improvements I noticed on > the way. > > This was triggered by a note that the sources.redhat.com DNS entry > is going to go away at some point in the future that I got yesterday. > > Applied. > > Gerald > > > 2012-10-21 G