update web-page to show where source can be got via git

diff --git a/servus.html b/servus.html
index 812f666123225fdf3b617cb1eeaba1e58b52680f..8f30e65cdee127b4d1730355d5cfc15028a48fcb 100644 (file)
--- a/servus.html
+++ b/servus.html
@@ -23,8 +23,9 @@ span.code {font-family: courier, monospace}
 <h2>Introduction</h2>
 <p>Servus is one of the IRC bots on <span
 class="code">#chiark</span>. This page documents the available
-commands. A tarball of the source code is available, <a
-href="bot.tar.gz">here</a>, though may be a little out of date.</p>
+commands. You can get a copy of the source code by running <span
+class="code">git-clone <a
+href="http://www.pick.ucam.org/~matthew/irc/.git">http://www.pick.ucam.org/~matthew/irc/.git</a></span></p>
 
 <h2>Invocation</h2>
 <p>Servus may be invoked in-channel using either <span