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 --git a/libstdc++-v3/doc/html/manual/debug.html b/libstdc++-v3/doc/html/manual/debug.html
index d85685dce9cec2685d7c12a8174a4cdf7a0a868f..a4e31f81d4357a23f27f3bb5cefffbe81a868c9d 100644 (file)
--- 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 7b60b497cfca1e20169fda4ed4d4bd199f7fcabd..1fedf0acca1bc353724713f14f634bbb76adf47b 100644 (file)
--- 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">