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

[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, 
_before_ any change goes in.  :-)

I must admit, I’m not sure why trunk is listed that way now.  I did expect 
branching to have switched that.

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

[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 be the removal of GCJ during the
>> GCC 7 development period, so its remaining shelf life should
>> be limited anyway.
> 
> Soo, GCC 6 has branched -- would it make sense for you guys to
> start this removal?

Sounds good.  OTOH, I don't think there's any great hurry.

> Somewhat related, any concerns if I were to remove
> https://gcc.gnu.org/java/status.html now?
> 
> ("Status of GCJ as of GCC 3.2" _really_ is rather old.)

It's so old that I don't think it's of any use.  However, I wonder if
it might make more sense to at least have a page saying that GCJ is
gone.

Andrew.

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

[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 development period, so its remaining shelf life should
> be limited anyway.

Soo, GCC 6 has branched -- would it make sense for you guys to
start this removal?

Somewhat related, any concerns if I were to remove
https://gcc.gnu.org/java/status.html now?

("Status of GCJ as of GCC 3.2" _really_ is rather old.)

Gerald

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

[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 changes
> have been maintainance ones from me, is it really worthwhile keeping
> this (short of historic reasons)?
> 
> 2016-04-08  Gerald Pfeifer  
> 
>   * index.html: Replace manual style to establish two columns
>   by new global CSS class "twocolumns".
> 
> Index: gcc.css
> ===
> RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
> retrieving revision 1.38
> diff -u -r1.38 gcc.css
> --- gcc.css   5 Apr 2016 16:20:29 -   1.38
> +++ gcc.css   9 Apr 2016 16:22:40 -
> @@ -15,6 +15,8 @@
>  .highlight{ color: darkslategray; font-weight:bold; }
>  .smaller  { font-size: 80%; }
>  
> +.twocolumns { column-counts:2; -moz-column-count:2; }
> +
>  td.news  { width: 50%; padding-right: 8px; }
>  td.news h2   { font-size: 1.2em; margin-top: 0; margin-bottom: 2%; }
>  td.news dl   { margin-top:0; }
> 
> Index: java/index.html
> ===
> RCS file: /cvs/gcc/wwwdocs/htdocs/java/index.html,v
> retrieving revision 1.177
> diff -u -r1.177 index.html
> --- java/index.html   27 Jun 2014 15:04:39 -  1.177
> +++ java/index.html   9 Apr 2016 16:22:41 -
> @@ -32,7 +33,7 @@
>  
>  GCJ News
>  
> -
> +
>  
>  
>  
> 

I guess the next news will be the removal of GCJ during the
GCC 7 development period, so its remaining shelf life should
be limited anyway.
-- 
Andrew :)

Senior Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

PGP Key: ed25519/35964222 (hkp://keys.gnupg.net)
Fingerprint = 5132 579D D154 0ED2 3E04  C5A0 CFDA 0F9B 3596 4222

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

[Gerald Pfeifer]

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 changes
have been maintainance ones from me, is it really worthwhile keeping
this (short of historic reasons)?

2016-04-08  Gerald Pfeifer  

* index.html: Replace manual style to establish two columns
by new global CSS class "twocolumns".

Index: gcc.css
===
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.38
diff -u -r1.38 gcc.css
--- gcc.css 5 Apr 2016 16:20:29 -   1.38
+++ gcc.css 9 Apr 2016 16:22:40 -
@@ -15,6 +15,8 @@
 .highlight{ color: darkslategray; font-weight:bold; }
 .smaller  { font-size: 80%; }
 
+.twocolumns { column-counts:2; -moz-column-count:2; }
+
 td.news  { width: 50%; padding-right: 8px; }
 td.news h2   { font-size: 1.2em; margin-top: 0; margin-bottom: 2%; }
 td.news dl   { margin-top:0; }

Index: java/index.html
===
RCS file: /cvs/gcc/wwwdocs/htdocs/java/index.html,v
retrieving revision 1.177
diff -u -r1.177 index.html
--- java/index.html 27 Jun 2014 15:04:39 -  1.177
+++ java/index.html 9 Apr 2016 16:22:41 -
@@ -32,7 +33,7 @@
 
 GCJ News
 
-
+