[gcc r13-5814] libstdc++: Update link to "Worst-case efficient priority queues"

[Gerald Pfeifer]

https://gcc.gnu.org/g:d651736e10c91cd51f7f63eeecace66920dcaeeb

commit r13-5814-gd651736e10c91cd51f7f63eeecace66920dcaeeb
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sat Feb 11 09:00:01 2023 +0100

    libstdc++: Update link to "Worst-case efficient priority queues"
    
    libstdc++-v3/ChangeLog:
    
            * doc/xml/manual/policy_data_structures_biblio.xml: Update
            link to "Worst-case efficient priority queues".
            * doc/html/manual/policy_data_structures.html: Regenerate.

Diff:
---
 libstdc++-v3/doc/html/manual/policy_data_structures.html      | 2 +-
 libstdc++-v3/doc/xml/manual/policy_data_structures_biblio.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libstdc++-v3/doc/html/manual/policy_data_structures.html b/libstdc++-v3/doc/html/manual/policy_data_structures.html
index 90345550012..cbe9ea21c7c 100644
--- a/libstdc++-v3/doc/html/manual/policy_data_structures.html
+++ b/libstdc++-v3/doc/html/manual/policy_data_structures.html
@@ -865,7 +865,7 @@
 	    </span>. </span><span class="publisher"><span class="publishername">
 	  Boost
 	. </span></span></p></div><div class="biblioentry"><a id="biblio.brodal96priority"></a><p>[biblio.brodal96priority] <span class="title"><em>
-	<a class="link" href="https://dl.acm.org/citation.cfm?id=313883" target="_top">
+	<a class="link" href="https://dl.acm.org/doi/10.5555/313852.313883" target="_top">
 	  Worst-case efficient priority queues
 	</a>
       </em>. </span><span class="author"><span class="firstname">
diff --git a/libstdc++-v3/doc/xml/manual/policy_data_structures_biblio.xml b/libstdc++-v3/doc/xml/manual/policy_data_structures_biblio.xml
index 5234a10d197..1adba7df91d 100644
--- a/libstdc++-v3/doc/xml/manual/policy_data_structures_biblio.xml
+++ b/libstdc++-v3/doc/xml/manual/policy_data_structures_biblio.xml
@@ -272,7 +272,7 @@
     <biblioentry xml:id="biblio.brodal96priority">
       <title>
 	<link xmlns:xlink="http://www.w3.org/1999/xlink"
-	      xlink:href="https://dl.acm.org/citation.cfm?id=313883">
+	      xlink:href="https://dl.acm.org/doi/10.5555/313852.313883">
 	  Worst-case efficient priority queues
 	</link>
       </title>