diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-14 03:02:24 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-14 03:02:24 +0100 |
commit | e357eae8fa8c7d6a59f22a1c97cb90a386762089 (patch) | |
tree | 99bcce6bc0bb35d79f55772b142c7ac793c4189e /doc | |
parent | 288edee6e926aa04ce7a22597490d3e9e3948f28 (diff) | |
download | geiser-guile-e357eae8fa8c7d6a59f22a1c97cb90a386762089.tar.gz geiser-guile-e357eae8fa8c7d6a59f22a1c97cb90a386762089.tar.bz2 |
Simpler navigation bar in website
Savannah downloads is often broken, and the news page doesn't really
add any value.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/web.texi | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/doc/web.texi b/doc/web.texi index b397f62..b30ead2 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -22,13 +22,9 @@ @html <br/> <div class="navigation" align="right"> -<a class="navlink" -href="http://savannah.nongnu.org/news/?group=geiser">News</a> <a class="navlink" -href="http://savannah.nongnu.org/files/?group=geiser">Downloads</a> <a class="navlink" -href="https://github.com/jaor/geiser/issues">Bugs</a> <a class="navlink" -href="https://github.com/jaor/geiser.git">Source</a> <a class="navlink" -href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing -list</a> +<a class="navlink" href="https://github.com/jaor/geiser/issues">Bugs</a> +<a class="navlink" href="https://github.com/jaor/geiser.git">Source</a> +<a class="navlink" href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing list</a> </div> @end html |