Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-07-27 Thread Jonathan Wakely via Gcc-patches
I've now pushed this wwwdocs patch, which Gerald approved at
https://gcc.gnu.org/pipermail/gcc-patches/2021-June/572796.html


commit 0e4db42cddd88d2cc6780da884021284a10b9a4b
Author: Jonathan Wakely 
Date:   Tue Jul 27 16:04:42 2021 +0100

Remove FSF attribution from HTML page titles

diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 677fd05a..1f7139eb 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -32,12 +32,12 @@
  
 
 
-;;; Redefine the  tag to comply with the GNU style.
+;;; Redefine the  tag to mention the GNU project.
 
 
 
 %body
-- GNU Project - Free Software Foundation (FSF)
+- GNU Project
 
 
 ;;; Redefine the  tag, adding navigation and a standard footer.


Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-06-15 Thread Gerald Pfeifer
On Thu, 3 Jun 2021, Jonathan Wakely wrote:
> An alternative change would be to just drop the mention of the FSF
:
> And as I pointed out previously, none of these sites refer to the FSF
> in their page s:
> 
> https://www.gnu.org/software/gdb/
> https://www.gnu.org/software/libc/
> https://www.gnu.org/software/guile/
> https://www.gnu.org/software/emacs/
> https://guix.gnu.org/

Yeah, this makes a lot of sense - having such that ultra long page 
titles really isn't helping anyone and the shorter version even is 
more aligned with those other projects.

Okay.

Gerald


Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-06-03 Thread Jonathan Wakely via Gcc-patches

On 03/06/21 16:50 +0100, Jonathan Wakely wrote:

Ping.

Is this OK now?


On 18/04/21 23:45 +0100, Jonathan Wakely wrote:

Remove GNU and FSF attribution from HTML page titles.


I don't see why we should have to "comply with the GNU style" if we're
truly an independent project run by the GCC developers and aided by
the steering committee.

OK for wwwdocs?


An alternative change would be to just drop the mention of the FSF,
since they don't fund GCC or provide hosting etc., as in the attached
patch.

And as I pointed out previously, none of these sites refer to the FSF
in their page s:

https://www.gnu.org/software/gdb/
https://www.gnu.org/software/libc/
https://www.gnu.org/software/guile/
https://www.gnu.org/software/emacs/
https://guix.gnu.org/

(Some don't refer to the GNU project either.)


diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 677fd05a..1f7139eb 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -32,12 +32,12 @@
  
 
 
-;;; Redefine the  tag to comply with the GNU style.
+;;; Redefine the  tag to mention the GNU project.
 
 
 
 %body
-- GNU Project - Free Software Foundation (FSF)
+- GNU Project
 
 
 ;;; Redefine the  tag, adding navigation and a standard footer.


Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-06-03 Thread Jonathan Wakely via Gcc-patches

Ping.

Is this OK now?


On 18/04/21 23:45 +0100, Jonathan Wakely wrote:

Remove GNU and FSF attribution from HTML page titles.


I don't see why we should have to "comply with the GNU style" if we're
truly an independent project run by the GCC developers and aided by
the steering committee.

OK for wwwdocs?





commit d157082f49725510560cb83f2f1c045e2968ad3b
Author: Jonathan Wakely 
Date:   Sun Apr 18 23:42:26 2021 +0100

   Do not rewrite the page titles

   Remove GNU and FSF attribution from HTML page titles.

diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 677fd05a..eb7c353d 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -32,14 +32,6 @@
 


-;;; Redefine the  tag to comply with the GNU style.
-
-
-
-%body
-- GNU Project - Free Software Foundation (FSF)
-
-
;;; Redefine the  tag, adding navigation and a standard footer.






Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-04-19 Thread Jonathan Wakely via Gcc-patches

On 19/04/21 20:55 +0100, Jonathan Wakely wrote:

On 19/04/21 12:33 -0400, Richard Kenner wrote:

I don't see why we should have to "comply with the GNU style" if we're
truly an independent project run by the GCC developers and aided by
the steering committee.


I think it critical than any code have *some* style guidelines.  If you
don't like the GNU coding convention, which do you propose instead and
how do you propose to convert the existing code to that style?


I'm not suggesting any changes to coding conventions. As you say, some
style is needed, and the current one is fine and it would be pointless
churn to change it.

The patch is for the website stylesheet, and simply removes the rule
that rewrites the HTML  element to "comply with the GNU style".
If that rule is removed then the page titles will be simply the
original content of the  element as it appears in the HTML
source, without rewriting e.g.
https://gcc.gnu.org/git/?p=gcc-wwwdocs.git;a=blob;f=htdocs/index.html;h=5598df7851048f510b4a70744a1d4c9861157c19;hb=HEAD#l7


The relevant style guideline is the last bullet at:
https://www.gnu.org/server/standards/gnu-website-guidelines.en.html#html-required

But it's only a "should", and I note that these other GNU projects do
not do it:

https://www.gnu.org/software/gdb/
https://www.gnu.org/software/libc/
https://www.gnu.org/software/guile/
https://www.gnu.org/software/emacs/
https://www.gnu.org/software/guix/

Of the ones I checked, only GCC and Binutils do it.

Since GCC isn't on GNU or FSF hardware and isn't supported financially
by the FSF, and operates independently since the EGCS merger, I don't
see why GCC needs to rewrite the page titles.



Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-04-19 Thread Jonathan Wakely via Gcc-patches

On 19/04/21 12:33 -0400, Richard Kenner wrote:

I don't see why we should have to "comply with the GNU style" if we're
truly an independent project run by the GCC developers and aided by
the steering committee.


I think it critical than any code have *some* style guidelines.  If you
don't like the GNU coding convention, which do you propose instead and
how do you propose to convert the existing code to that style?


I'm not suggesting any changes to coding conventions. As you say, some
style is needed, and the current one is fine and it would be pointless
churn to change it.

The patch is for the website stylesheet, and simply removes the rule
that rewrites the HTML  element to "comply with the GNU style".
If that rule is removed then the page titles will be simply the
original content of the  element as it appears in the HTML
source, without rewriting e.g.
https://gcc.gnu.org/git/?p=gcc-wwwdocs.git;a=blob;f=htdocs/index.html;h=5598df7851048f510b4a70744a1d4c9861157c19;hb=HEAD#l7





Re: [PATCH] wwwdocs: Do not rewrite the page titles

2021-04-19 Thread Richard Kenner via Gcc-patches
> I don't see why we should have to "comply with the GNU style" if we're
> truly an independent project run by the GCC developers and aided by
> the steering committee.

I think it critical than any code have *some* style guidelines.  If you
don't like the GNU coding convention, which do you propose instead and
how do you propose to convert the existing code to that style?