Fix mailman links, remove subscription form from here.

1 files changed, 31 insertions, 79 deletions

diff --git a/html/mailinglist b/html/mailinglist
index b4cfc176..95614f1c 100644
--- a/html/mailinglist
+++ b/html/mailinglist
@@ -1,99 +1,51 @@
 <?php  
-/*
- *  Proof General mailing list subscription and unsubscription.
- *  
- *  David Aspinall, June 1999.
- *
- *  $Id$
- *
- */
-
   require('functions.php3');
-  if ($subscribe == ""):
-##
-## Subscription form
-##
   small_header("Proof General Mailing List"); 
   ?>
+
 <p>
-The mailing list address is 
-<a href="mailto:users@proofgeneral.org">
-<tt>users@proofgeneral.org</tt>.
-</a>
+The Proof General mailing list is a low-volume list
+used for announcements of new versions, and occasional
+discussions amongst users.
 </p>
-  
+
+<h2>Subscriptions</h2>
 <p>
-To subscribe or unsubscribe, you can fill in the form below.
+To <b>subscribe or unsubscribe</b>, visit
+the 
+<a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">Mailman</a>
+web page for the list.
 <br>
-Or send a message to 
-<a href="mailto:majordomo@proofgeneral.org">
- <tt>majordomo@proofgeneral.org</tt>
-</a>
-with the words "<tt>subscribe proofgeneral</tt>"
-(or "<tt>unsubscribe proofgeneral"</tt>) in the message body.
+Alternatively, you can send a message to 
+<a href="mailto:proofgeneral-request@informatics.ed.ac.uk">
+<tt>proofgeneral-request@informatics.ed.ac.uk</tt></a>
+with the word "<tt>subscribe</tt>" (or "<tt>unsubscribe <it>password</it></tt>")
+in the message body.
 </p>
 
+
+<h2>Posting</h2>
 <p>
-Since its beginning, the mailing list has been a low-volume list (one
-message every few months).  If the volume increases significantly due
-to user interaction, we will introduce a separate mailing list for
-announcements.  
+The canonical mailing list address is 
+<a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>.
+<br>
+This is an alias for
+<tt>proofgeneral@informtics.ed.ac.uk</tt>.
 </p>
-
-<h2>Mailing list subscription</h2>
-
-<form method=post action="<?php echo $PHP_SELF; ?>">
-<table width="300" border="0" cellspacing="2" cellpadding="0">
-<tr>
- <td width="30%">Your name:</td>
- <td width="70%"><input type=text name="name" size="40"></td>
-</tr>
-<tr>
- <td width="30%">Email address:</td>
- <td width="70%"><input type=text name="email" size="40"></td>
-</tr>
-<tr>
- <td width="30%"><input type=radio name="subscribe" value="yes" checked></td>
- <td width="70%">Please add me to the mailing list.</td>
-</tr>
-<tr>
- <td width="30%"><input type=radio name="subscribe" value="no"></td>
- <td width="70%">Please remove me from the mailing list.</td>
-</tr>
-</table>
-<input type=submit value="Send request"> 
-</form>
 <p>
+In an effort to prevent spam, posting is restricted to list members.
+Please <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">subscribe here</a> before attempting to post.
 </p>
-<?php  
-  click_to_go_back();  
-  footer(); 
-
-  else:
-##
-##  Process subscription
-##
-   $title = ($subscribe == "yes" ? "Subscription" : "Unsubscription") . " Request";
-   small_header($title);
 
-   $request = ($subscribe == "yes" ? "join" : "be removed");
-   
-   $message = ($subscribe == "yes" ? "subscribe " : "unsubscribe ") 
-		. "proofgeneral"; 
-   mail("majordomo@dcs.ed.ac.uk",
-	"[Web form from ~proofgen]",
-	$message,
-        "Reply-To: " . $email . "\nFrom: " . $email);
+<h2>Archives</h2>
+<p>
+Archives of the list (since July 2002) are kept
+<a href="http://lists.informatics.ed.ac.uk/pipermail/proofgeneral">here</a>.
+</p>
 
-   if ($from != "") { print "<p>Dear " . $from . ",</p>\n"; };
-   print "<p>";
-   print "Your request to " . $request . " the proof general mailing list has been submitted.<br>";
-   print "Thank-you!";
-   print "</p>\n<p>";
+<hr>
 
+<?php
    click_to_go_back();
-  
    footer();
- endif;
 ?>
-