Re: [wwwdocs] Replace <a name=...> by id= attributes

[Gerald Pfeifer <gerald at pfeifer dot com>]

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, so simplify those for current release series
as follows.

Applied as well.

Gerald

Index: gcc-6/index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-6/index.html,v
retrieving revision 1.9
diff -u -r1.9 index.html
--- gcc-6/index.html	2 Jun 2018 21:16:17 -0000	1.9
+++ gcc-6/index.html	10 Jun 2018 14:13:40 -0000
@@ -22,25 +22,25 @@
 <dl>
 
 <dt>GCC 6.4</dt>
-<dd id="6.4">July 4, 2017
+<dd>July 4, 2017
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/6.4.0/";>documentation</a>)
 </dd>
 
 <dt>GCC 6.3</dt>
-<dd id="6.3">December 21, 2016
+<dd>December 21, 2016
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/6.3.0/";>documentation</a>)
 </dd>
 
 <dt>GCC 6.2</dt>
-<dd id="6.2">August 22, 2016
+<dd>August 22, 2016
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/6.2.0/";>documentation</a>)
 </dd>
 
 <dt>GCC 6.1</dt>
-<dd id="6.1">April 27, 2016
+<dd>April 27, 2016
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/6.1.0/";>documentation</a>)
 </dd>
Index: gcc-7/index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-7/index.html,v
retrieving revision 1.7
diff -u -r1.7 index.html
--- gcc-7/index.html	2 Jun 2018 21:16:18 -0000	1.7
+++ gcc-7/index.html	10 Jun 2018 14:13:40 -0000
@@ -22,19 +22,19 @@
 <dl>
 
 <dt>GCC 7.3</dt>
-<dd id="7.3">Jan 25, 2018
+<dd>Jan 25, 2018
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/7.3.0/";>documentation</a>)
 </dd>
 
 <dt>GCC 7.2</dt>
-<dd id="7.2">Aug 14, 2017
+<dd>Aug 14, 2017
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/7.2.0/";>documentation</a>)
 </dd>
 
 <dt>GCC 7.1</dt>
-<dd id="7.1">May 2, 2017
+<dd>May 2, 2017
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/7.1.0/";>documentation</a>)
 </dd>
Index: gcc-8/index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-8/index.html,v
retrieving revision 1.5
diff -u -r1.5 index.html
--- gcc-8/index.html	2 Jun 2018 21:51:00 -0000	1.5
+++ gcc-8/index.html	10 Jun 2018 14:13:40 -0000
@@ -22,7 +22,7 @@
 <dl>
 
 <dt>GCC 8.1</dt>
-<dd id="GCC8.1">May 2, 2018
+<dd>May 2, 2018
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/8.1.0/";>documentation</a>)
 </dd>