GF home page: comment out the "GF build status" link

Gregoire's Jenkins server has been down since last summer...
This commit is contained in:
hallgren
2017-02-10 12:14:22 +00:00
parent 011d2a44b8
commit de6c897bd3

View File

@@ -76,10 +76,12 @@ function sitesearch() {
<div class=links>
<h4>Develop GF</h4>
<ul>
<!--
<li><a href="http://ci.zjyto.net/job/GF/job/Build/"><img src="http://ci.zjyto.net/job/GF/job/Build/badge/icon" alt="GF build status"></a>
-->
<li><a href="doc/gf-developers.html">GF Developers Guide</a>
<li><A HREF="https://github.com/GrammaticalFramework/GF/">GitHub mirror</A>
<li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">contibutions GitHub</A>
<li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">Contibutions GitHub</A>
<li><A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A>
<li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a>
<li><A HREF="doc/gf-people.html">Authors</A>