for review: add searching to w3 site.

Peter Ross petdr at cs.mu.OZ.AU
Thu Nov 19 16:57:05 AEDT 1998


Hi,

Tyson do you want to review these changes.

Pete.

===================================================================


Estimated hours taken: 2

Add the ability to search the mercury web site.

Makefile:
search.php3:
include/search.inc:
    Search the web site apart from the mailing lists.
    
include/menubar.inc:
    Add the new functions to the menubar.

mailing-lists/include/mailing-lists.inc:
    Reference the ability to search the mailing lists.

mailing-lists/Makefile:
mailing-lists/search.php3:
mailing-lists/include/search.inc:
    Search the mailing lists.

Index: Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile,v
retrieving revision 1.7
diff -u -r1.7 Makefile
--- Makefile	1998/09/23 02:00:44	1.7
+++ Makefile	1998/11/19 03:25:52
@@ -10,7 +10,8 @@
 	information.html 	\
 	download.html 		\
 	contact.html 		\
-	applications.html
+	applications.html	\
+	search.html
 
 DIRS=contact download information mailing-lists
 ROOT=.
Index: search.php3
===================================================================
RCS file: search.php3
diff -N search.php3
--- /dev/null	Wed May 28 10:49:58 1997
+++ search.php3	Thu Nov 19 15:24:24 1998
@@ -0,0 +1,9 @@
+<HTML>
+<?
+    $title="Search Mercury Web Site";
+    $dir=".";
+    $root=".";
+    $include="search.inc";
+    include "$root/include/template.inc"
+?>
+</HTML>
Index: include/menubar.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/include/menubar.inc,v
retrieving revision 1.4
diff -u -r1.4 menubar.inc
--- menubar.inc	1998/10/11 14:53:15	1.4
+++ menubar.inc	1998/11/19 04:20:57
@@ -24,6 +24,7 @@
 <SMALL>
     <a href="<?echo $root?>/mailing-lists/mercury-developers/list.html">Developers</a><BR>
     <a href="<?echo $root?>/mailing-lists/mercury-users/list.html">Users</a><BR>
+    <a href="<?echo $root?>/mailing-lists/search.html">Search</a><BR>
 </SMALL>
 <P>
 <B><a href="<?echo $root?>/download.html">Download</a></B><BR>
@@ -42,3 +43,5 @@
 </SMALL>
 <P>
 <B><a href="<?echo $root?>/contact.html">Contact</a></B>
+<P>
+<B><a href="<?echo $root?>/search.html">Search</a></B><BR>
Index: include/search.inc
===================================================================
RCS file: search.inc
diff -N search.inc
--- /dev/null	Wed May 28 10:49:58 1997
+++ search.inc	Thu Nov 19 15:24:42 1998
@@ -0,0 +1,30 @@
+<h1>
+Mercury Web Site Search</H1>
+<hr noshade size=4>
+This search will allow you to search the contents of
+the Mercury web site <B>excluding</B> the mailing lists.
+<A HREF="mailing-lists/search.html">Click here</A> to search
+the mailing list archive.
+<br>
+<p>
+<form method="post" action="http://hydra.cs.mu.oz.au/cgi-bin/htsearch">
+<font size=-1>
+Match: <select name=method>
+<option value=and>All
+<option value=or>Any
+</select>
+Format: <select name=format>
+<option value=builtin-long>Long
+<option value=builtin-short>Short
+</select>
+</font>
+<input type=hidden name=config value=htdig>
+<input type=hidden name=restrict value="">
+<input type=hidden name=exclude value="">
+<br>
+Search:
+<input type="text" size="30" name="words" value="">
+<input type="submit" value="Search">
+<a href="http://htdig.sdsu.edu"><IMG SRC="<?echo $root?>/images/htdig.gif" align=bottom alt="ht://Dig" border=0></a>
+</form>
+<hr noshade size=4>
Index: mailing-lists/Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/Makefile,v
retrieving revision 1.3
diff -u -r1.3 Makefile
--- Makefile	1998/09/09 07:43:56	1.3
+++ Makefile	1998/11/19 04:15:20
@@ -1,6 +1,6 @@
 target: html
 
-HTML= 	blank.html mailing-lists.html
+HTML= 	blank.html mailing-lists.html search.html
 DIRS=mercury-users mercury-developers
 ROOT=..
 
Index: mailing-lists/search.php3
===================================================================
RCS file: search.php3
diff -N search.php3
--- /dev/null	Wed May 28 10:49:58 1997
+++ search.php3	Thu Nov 19 15:15:11 1998
@@ -0,0 +1,9 @@
+<HTML>
+<?
+    $title="Search the Mailing Lists";
+    $dir="mailing-lists";
+    $root="..";
+    $include="search.inc";
+    include "$root/include/template.inc"
+?>
+</HTML>
Index: mailing-lists/include/mailing-lists.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/include/mailing-lists.inc,v
retrieving revision 1.2
diff -u -r1.2 mailing-lists.inc
--- mailing-lists.inc	1998/09/08 05:37:44	1.2
+++ mailing-lists.inc	1998/11/19 04:19:58
@@ -10,11 +10,12 @@
 different developers of Mercury.  This list contains diffs of work in
 progress and discussions of implementation details of the compiler.
 If you are interested in what has been added to the compiler lately,
-please look in this <A HREF="mercury-developers/list.html">archive</A>.
+please look in this <A HREF="mercury-developers/list.html">archive</A>
+or <A HREF="search.html">search</A> it.
 <li>
 The mercury-users list is intended for general discussion
 about Mercury.  It is <A HREF="mercury-users/list.html">
-archived</A>.
+archived</A> and <A HREF="search.html">searchable</A>.
 </ul>
 These lists are now managed using the "majordomo" mailing list software.
 To subscribe or unsubscribe to either of these mailing lists,
Index: mailing-lists/include/search.inc
===================================================================
RCS file: search.inc
diff -N search.inc
--- /dev/null	Wed May 28 10:49:58 1997
+++ search.inc	Thu Nov 19 16:37:36 1998
@@ -0,0 +1,28 @@
+<h1>
+Mercury Mailing List Search</H1>
+<hr noshade size=4>
+This search will allow you to search the contents of
+the Mercury mailing lists.
+<br>
+<p>
+<form method="post" action="http://hydra.cs.mu.oz.au/cgi-bin/htsearch">
+<font size=-1>
+Match: <select name=method>
+<option value=and>All
+<option value=or>Any
+</select>
+Format: <select name=format>
+<option value=builtin-long>Long
+<option value=builtin-short>Short
+</select>
+</font>
+<input type=hidden name=config value=htdig-mlists>
+<input type=hidden name=restrict value="">
+<input type=hidden name=exclude value="">
+<br>
+Search:
+<input type="text" size="30" name="words" value="">
+<input type="submit" value="Search">
+<a href="http://htdig.sdsu.edu"><IMG SRC="<?echo $root?>/images/htdig.gif" align=bottom alt="ht://Dig" border=0></a>
+</form>
+<hr noshade size=4>

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+



More information about the developers mailing list