Homepage minors

- add Travis build status icon
- make Github link point to org rather than repo
This commit is contained in:
John J. Camilleri
2018-06-20 09:55:53 +02:00
committed by GitHub
parent 96f3484622
commit 6ce57c0505

View File

@@ -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>