[committed] wwwdocs: gcc-12: Use HTML id instead of

[Gerald Pfeifer]

I pushed this minor update on top of the GCC 12 release changes.

Jakub, I believe you have been using <a name=...> somewhere else,
too. Not a biggie, and nothing to do. I'll take care...

Gerald


<a name> here came in via e9d81288aaae7626d7b511e0f84cba3e72f47b52
which is deprecated. Simply use an id instead.
---
 htdocs/gcc-12/changes.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html
index a32f1d53..0eae78ff 100644
--- a/htdocs/gcc-12/changes.html
+++ b/htdocs/gcc-12/changes.html
@@ -1020,7 +1020,7 @@ function Multiply (S1, S2 : Sign) return Sign is
 
 
 <!-- .................................................................. -->
-<h2><a name="12.1">GCC 12.1</a></h2>
+<h2 id="12.1">GCC 12.1</h2>
 
 <p>This is the <a 
href="https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&amp;resolution=FIXED&amp;target_milestone=12.0";>list
 of problem reports (PRs)</a> from GCC's bug tracking system that are
-- 
2.36.0