diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2020-12-27 11:16:21 +0100 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@pfeifer.com> | 2020-12-27 11:17:21 +0100 |
| commit | 0e283e2c9f15d8abfd6a57c05d0845f8c4e08827 (patch) | |
| tree | b16df56aec766aeac9f33fe9cd6ee7182674f855 | |
| parent | 521bc8e1b05bfc684c4cc5bb6b6a4af672793390 (diff) | |
| download | gcc-0e283e2c9f15d8abfd6a57c05d0845f8c4e08827.zip gcc-0e283e2c9f15d8abfd6a57c05d0845f8c4e08827.tar.gz gcc-0e283e2c9f15d8abfd6a57c05d0845f8c4e08827.tar.bz2 | |
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.
| -rw-r--r-- | libstdc++-v3/doc/html/manual/debug.html | 4 | ||||
| -rw-r--r-- | 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 d85685d..a4e31f8 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 7b60b49..1fedf0a 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"> |