[m-rev.] trivial diff: Fix the search function on the Mercury website.

[Paul Bone]

Fix the search function on the Mercury website.

The search function on the website now uses the correct domain name.

include/search.inc:
    As above.

Index: include/search.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/search.inc,v
retrieving revision 1.6
diff -u -p -b -r1.6 search.inc
--- include/search.inc	28 Sep 2009 07:13:19 -0000	1.6
+++ include/search.inc	7 Jun 2010 03:56:46 -0000
@@ -13,9 +13,9 @@ align=middle></A>
 <INPUT TYPE=text name=q size=31 maxlength=255 value="">
 <INPUT type=submit name=sa VALUE="Google Search">
 <input type=hidden name=domains
-value="www.cs.mu.oz.au/research/mercury"><br><input type=radio name=sitesearch
+value="www.mercury.csse.unimelb.edu.au"><br><input type=radio name=sitesearch
 value=""> Search WWW <input type=radio name=sitesearch
-value="www.cs.mu.oz.au/research/mercury" checked> Search Mercury web site<br>
+value="www.mercury.csse.unimelb.edu.au" checked> Search Mercury web site<br>
 </td></tr></TABLE>
 </FORM>
 </center>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 489 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20100607/d2e92173/attachment.sig>