diff mbox series

[pushed] wwwdocs: style: Add a link to our testing page

Message ID ae7e081e-d301-16a3-8e4e-e69655286cdd@pfeifer.com
State New
Headers show
Series [pushed] wwwdocs: style: Add a link to our testing page | expand

Commit Message

Gerald Pfeifer March 13, 2023, 6:48 p.m. UTC 
Jan suggested we add this link, restoring in a way, though now pointing to 
our general testing page.

Pushed.

(Note: gcc.gnu.org will take a couple of hours to pick up this change.)

Gerald

---
 htdocs/style.mhtml | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 1b778151..dcc27cc4 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -121,6 +121,7 @@ 
   <a href="<get-var BACKPATH>frontends.html">Front ends</a><br>
   <a href="<get-var BACKPATH>backends.html">Back ends</a><br>
   <a href="<get-var BACKPATH>extensions.html">Extensions</a><br>
+  <a href="<get-var BACKPATH>testing/">Testing</a><br>
   <a href="<get-var BACKPATH>benchmarks/">Benchmarks</a><br>
   <a href="<get-var BACKPATH>translation.html">Translations</a><br>
   </td></tr>