From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sat, 11 Feb 2023 08:00:01 +0000 (+0100)
Subject: libstdc++: Update link to "Worst-case efficient priority queues"
X-Git-Tag: basepoints/gcc-14~1393
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d651736e10c91cd51f7f63eeecace66920dcaeeb;p=thirdparty%2Fgcc.git

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 --git a/libstdc++-v3/doc/html/manual/policy_data_structures.html b/libstdc++-v3/doc/html/manual/policy_data_structures.html
index 903455500129..cbe9ea21c7cc 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 5234a10d197c..1adba7df91d1 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>