On Sun, 29 Jul 2018, Gerald Pfeifer wrote:
> ...and avoid a few that weren't referenced.
>
> This is the next step in cleaning up and simplifying our pages for
> a transition to the (simpler) HTML 5.
Turns out that also here there were a quite a few I missed, including
some rather creative ones s
...and avoid a few that weren't referenced.
This is the next step in cleaning up and simplifying our pages for
a transition to the (simpler) HTML 5.
Applied; and below a follow-up patch since a few idosyncracies
escaped my own verification.
Gerald
Index: projects/ast-optimizer.html
On Sun, 10 Jun 2018, Gerald Pfeifer wrote:
>> Hmpf, I missed that id attributes have to start with a letter;
>> fixed thusly for the GCC8 pages. I'll take care of the others
>> later.
> Done thusly.
And in fact, not much point in having this for the table of contents
on the main release pages, s
...plus one I had missed.
Gerald
Index: gcc-7/changes.html
===
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-7/changes.html,v
retrieving revision 1.106
diff -u -r1.106 changes.html
--- gcc-7/changes.html 10 Jun 2018 14:12:46 - 1.10
On Sat, 2 Jun 2018, Gerald Pfeifer wrote:
> Hmpf, I missed that id attributes have to start with a letter;
> fixed thusly for the GCC8 pages. I'll take care of the others
> later.
Done thusly.
Committed.
Gerald
Index: gcc-6/changes.html
On Sat, 2 Jun 2018, Gerald Pfeifer wrote:
> In HTML 5 the approach has been superseded by
> the use of id attributes.
>
> This implements this change for all pages associated with active
> releases.
Hmpf, I missed that id attributes have to start with a letter;
fixed thusly for the GCC8 pages.
As I mentioned, I'm working to transition our pages to HTML which
should not be too hard after my transition to CSS over the past years,
but there are some changes we still need to account for.
In HTML 5 the approach has been superseded by
the use of id attributes.
This implements this change f
