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 --gi

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.

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 deve

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 f

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 ha

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 th

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 propos