[pushed] wwwdocs: testing: Avoid a duplicate link

Message ID 20230302074134.721DE33E59@hamza.pair.com
State New
Headers
Series [pushed] wwwdocs: testing: Avoid a duplicate link |

Commit Message

Gerald Pfeifer March 2, 2023, 7:41 a.m. UTC
  This came up in a conversation with Jan. (We already have a link a bit 
earlier on that page.)

Pushed.

Gerald
---
 htdocs/testing/index.html | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)
  

Patch

diff --git a/htdocs/testing/index.html b/htdocs/testing/index.html
index bd6219ab..012ac287 100644
--- a/htdocs/testing/index.html
+++ b/htdocs/testing/index.html
@@ -115,10 +115,8 @@  the testsuite directories.</p>
   <li>Build and test packages that are normally available on your
       platform and for which you have access to source.</li>
   <li>Run benchmarks regularly and report performance regressions.</li>
-  <li>Extend the
-      <a href="http://toolchain.lug-owl.de/buildbot/">build robot</a> to also
-      do local builds, run the testsuite, visualize test result differences
-      and probably use something like
+  <li>Extend the build robot to also do local builds, run the testsuite,
+      visualize test result differences and probably use something like
       <a href="http://buildbot.net/">BuildBot</a>. Some of the
       <a href="https://gcc.gnu.org/wiki/CompileFarm">Compile Farm</a> machines
       could also be used.</li>