Add link to the developer docs build log, now that it exists again

diff --git a/templates/pages/developer/testing.html b/templates/pages/developer/testing.html
index bf40c8255f337377b0cf2c85b818748e427a6267..eafbdb7fd965d7f390e137fbe0f7155741c5531a 100644 (file)
--- a/templates/pages/developer/testing.html
+++ b/templates/pages/developer/testing.html
@@ -21,6 +21,6 @@ These facilities are used for a wide range of tasks from DBT-style tests, to sys
 </p>
 <h2>Documentation</h2>
 <ul>
-  <li><a href="/docs/devel/static">Developer Version of The Docs</a></li>
+  <li><a href="/docs/devel/static">Developer Version of The Docs</a> (<a href="http://buildfarm.postgresql.org/cgi-bin/show_stage_log.pl?nm=guaibasaurus&dt=latest&stg=make-doc">build log</a>)</li>
 </ul>
 {%endblock%}