Re: [wwwdocs,Java] java/index.html -- fix formatting on gcc.gnu.org

2016-04-18 Thread Mike Stump
> On Apr 16, 2016, at 1:31 PM, Gerald Pfeifer wrote: > Soo, GCC 6 has branched -- would it make sense for you guys to > start this removal? No, the home page says: Status: 2016-03-10 (regression fixes & docs only). for gcc 7 (aka trunk). Technically, that should update to say all fixes, _b

Re: [wwwdocs,Java] java/index.html -- fix formatting on gcc.gnu.org

2016-04-17 Thread Andrew Haley
On 16/04/16 21:31, Gerald Pfeifer wrote: > On Sun, 10 Apr 2016, Andrew Hughes wrote: >>> That said, looking at the page, and how since 2005 nearly all changes >>> have been maintainance ones from me, is it really worthwhile keeping >>> this (short of historic reasons)? >> I guess the next news will

Re: [wwwdocs,Java] java/index.html -- fix formatting on gcc.gnu.org

2016-04-16 Thread Gerald Pfeifer
On Sun, 10 Apr 2016, Andrew Hughes wrote: >> That said, looking at the page, and how since 2005 nearly all changes >> have been maintainance ones from me, is it really worthwhile keeping >> this (short of historic reasons)? > I guess the next news will be the removal of GCJ during the > GCC 7 devel

Re: [wwwdocs,Java] java/index.html -- fix formatting on gcc.gnu.org

2016-04-10 Thread Andrew Hughes
- Original Message - > It turns out the stricter server settings also broke the /java > page on gcc.gnu.org. > > This restores showing two columns on this page (though it still > uses non-standard CSS extensions). > > > That said, looking at the page, and how since 2005 nearly all change