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 <title> element to "comply with the GNU style".
If that rule is removed then the page titles will be simply the
original content of the <title> 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
