diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-06-20 09:55:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-20 09:55:53 +0200 |
| commit | 6ce57c0505dece51fe78b06da75dceefc5d75045 (patch) | |
| tree | 62af1de2118f8cd30a47b8040b70a7418df80e98 | |
| parent | 96f3484622866c156045bd1a03bb6145d2c06ba6 (diff) | |
Homepage minors
- add Travis build status icon
- make Github link point to org rather than repo
| -rw-r--r-- | index.html | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/index.html b/index.html index f00aaabee..a3167c05a 100644 --- a/index.html +++ b/index.html @@ -71,12 +71,9 @@ 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="https://travis-ci.org/GrammaticalFramework/GF"><img src="https://travis-ci.org/GrammaticalFramework/GF.svg?branch=master" alt="GF build status"></a> <li><a href="doc/gf-developers.html">GF Developers Guide</a> - <li><A HREF="https://github.com/GrammaticalFramework/GF/">GF on GitHub</A> - <li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">Contributions GitHub</A> + <li><A HREF="https://github.com/GrammaticalFramework/">GF on GitHub</A> <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> <li><A HREF="doc/gf-people.html">Authors</A> </ul> |