[gcc r11-6345] libstdc++: Move Valgrind references to https

[gcc r11-6345] libstdc++: Move Valgrind references to https

[Gerald Pfeifer]

https://gcc.gnu.org/g:0e283e2c9f15d8abfd6a57c05d0845f8c4e08827

commit r11-6345-g0e283e2c9f15d8abfd6a57c05d0845f8c4e08827
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:
---
 libstdc++-v3/doc/html/manual/debug.html | 4 ++--
 libstdc++-v3/doc/xml/manual/debug.xml   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

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