document the url command

diff --git a/servus.html b/servus.html
index a327e418cac2dd389316398cf4cc42fb06bae980..61fae3a508f2ed93a84cb48814d9498ac26ab27f 100644 (file)
--- a/servus.html
+++ b/servus.html
@@ -57,6 +57,7 @@ class="code">~command</span>. Alternatively, you may pass commands by
 <li><a href="#slash">slash</a></li>
 <li><a href="#trout">trout</a></li>
 <li><a href="#units">units</a></li>
 <li><a href="#slash">slash</a></li>
 <li><a href="#trout">trout</a></li>
 <li><a href="#units">units</a></li>

+<li><a href="#url">url</a></li>

 </ul>
 
 <hr />
 </ul>
 
 <hr />


@@ -209,6 +210,18 @@ The first two will give the first value in terms of the second unit;
 the latter two forms convert the first value into SI units. This
 command is implemented by calling <span class="code">units(1)</span>.</p>
 
 the latter two forms convert the first value into SI units. This
 command is implemented by calling <span class="code">units(1)</span>.</p>
 

+<h3><a name="url">url</a></h3>
+<p>Servus now tracks URLs pasted into <span
+class="code">#chiark</span>, and will comment if you post a duplicate
+URL. The <span class="code">url</span> command provides a way for you
+to check if a URL has been posted before (if not, Servus posts it on
+your behalf). The syntax is:<br /> 
+<span class="code">/msg Servus url http://some.url</span><br />
+Servus will either paste the URL into channel, or <span
+class="code">/msg</span> you to tell you it was a duplicate. Although
+you can use this command in-channel (and get a response by <span
+class="code">/msg </span>), this is discouraged.</p>
+

 <hr />
 <address>
   <a href="mailto:matthew@sel.cam.ac.uk">Matthew Vernon</a><br />
 <hr />
 <address>
   <a href="mailto:matthew@sel.cam.ac.uk">Matthew Vernon</a><br />