diff mbox series

[committed] libstdc++: Move Valgrind references to https

Message ID 20201227101811.018DC33E6A@hamza.pair.com
State New
Headers show
Series [committed] libstdc++: Move Valgrind references to https | expand

Commit Message

Gerald Pfeifer Dec. 27, 2020, 10:18 a.m. UTC
Pushed. Gerald

commit 0e283e2c9f15d8abfd6a57c05d0845f8c4e08827
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sun Dec 27 11:16:21 2020 +0100

    libstdc++: Move Valgrind references to https
    
    libstdc++-v3:
    
    2020-12-27  Gerald Pfeifer  <gerald@pfeifer.com>
    
            * doc/xml/manual/debug.xml: Move Valgrind references to https.
            * doc/html/manual/debug.html: Regenerate.
diff mbox series

Patch

diff --git a/libstdc++-v3/doc/html/manual/debug.html b/libstdc++-v3/doc/html/manual/debug.html
index d85685dce9c..a4e31f81d43 100644
--- a/libstdc++-v3/doc/html/manual/debug.html
+++ b/libstdc++-v3/doc/html/manual/debug.html
@@ -167,9 +167,9 @@ 
 </p><p>
   The approach described above is known to work with the following race
   detection tools:
-  <a class="link" href="http://valgrind.org/docs/manual/drd-manual.html" target="_top">
+  <a class="link" href="https://valgrind.org/docs/manual/drd-manual.html" target="_top">
   DRD</a>,
-  <a class="link" href="http://valgrind.org/docs/manual/hg-manual.html" target="_top">
+  <a class="link" href="https://valgrind.org/docs/manual/hg-manual.html" target="_top">
   Helgrind</a>, and
   <a class="link" href="https://github.com/google/sanitizers" target="_top">
   ThreadSanitizer</a> (this refers to ThreadSanitizer v1, not the
diff --git a/libstdc++-v3/doc/xml/manual/debug.xml b/libstdc++-v3/doc/xml/manual/debug.xml
index 7b60b497cfc..1fedf0acca1 100644
--- a/libstdc++-v3/doc/xml/manual/debug.xml
+++ b/libstdc++-v3/doc/xml/manual/debug.xml
@@ -245,10 +245,10 @@ 
   The approach described above is known to work with the following race
   detection tools:
   <link xmlns:xlink="http://www.w3.org/1999/xlink"
-  xlink:href="http://valgrind.org/docs/manual/drd-manual.html">
+  xlink:href="https://valgrind.org/docs/manual/drd-manual.html">
   DRD</link>,
   <link xmlns:xlink="http://www.w3.org/1999/xlink"
-  xlink:href="http://valgrind.org/docs/manual/hg-manual.html">
+  xlink:href="https://valgrind.org/docs/manual/hg-manual.html">
   Helgrind</link>, and
   <link xmlns:xlink="http://www.w3.org/1999/xlink"
   xlink:href="https://github.com/google/sanitizers">