Pushed.
Gerald
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.
---
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>
--
2.39.1
