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

[Jakub Jelinek via Gcc-patches]

On Sat, May 14, 2022 at 02:12:06PM +0200, Gerald Pfeifer wrote:
> 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...

I often just copy from git diff from a year ago, which has the
disadvantages that issues that are fixed later on keep reappearing.

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

        Jakub