summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2018-03-14 03:02:24 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2018-03-14 03:02:24 +0100
commite357eae8fa8c7d6a59f22a1c97cb90a386762089 (patch)
tree99bcce6bc0bb35d79f55772b142c7ac793c4189e /doc
parent288edee6e926aa04ce7a22597490d3e9e3948f28 (diff)
downloadgeiser-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.texi10
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>&nbsp;&nbsp;&nbsp;&nbsp;<a class="navlink"
-href="http://savannah.nongnu.org/files/?group=geiser">Downloads</a>&nbsp;&nbsp;&nbsp;&nbsp;<a class="navlink"
-href="https://github.com/jaor/geiser/issues">Bugs</a>&nbsp;&nbsp;&nbsp;&nbsp;<a class="navlink"
-href="https://github.com/jaor/geiser.git">Source</a>&nbsp;&nbsp;&nbsp;&nbsp;<a class="navlink"
-href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing
-list</a>&nbsp;
+<a class="navlink" href="https://github.com/jaor/geiser/issues">Bugs</a>&nbsp;&nbsp;&nbsp;&nbsp;
+<a class="navlink" href="https://github.com/jaor/geiser.git">Source</a>&nbsp;&nbsp;&nbsp;&nbsp;
+<a class="navlink" href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing list</a>&nbsp;
</div>
@end html