From 67202c30bc32d29bf714603371961401313b2df7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 1999 19:24:48 +0000
Subject: Mail to majordomo, not da

---
 html/mailinglist.phtml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'html')

diff --git a/html/mailinglist.phtml b/html/mailinglist.phtml
index 004a90a5..45ce8b69 100644
--- a/html/mailinglist.phtml
+++ b/html/mailinglist.phtml
@@ -55,9 +55,11 @@ with the words "<tt>subscribe proofgeneral</tt>"
 <input type=submit value="Send request"> 
 </form>
 </p>
+
 <?php  
-   click_to_go_back();  
-   footer(); 
+  click_to_go_back();  
+  footer(); 
+
   else:
 ##
 ##  Process subscription
@@ -69,7 +71,7 @@ with the words "<tt>subscribe proofgeneral</tt>"
    
    $message = ($subscribe == "yes" ? "subscribe " : "unsubscribe ") 
 		. "proofgeneral"; 
-   mail("da", /* "majordomo@dcs.ed.ac.uk", */
+   mail("majordomo@dcs.ed.ac.uk",
 	"[Web form from ~proofgen]",
 	$message,
         "Reply-To: " . $email . "\nFrom: " . $email);
-- 
cgit v1.2.3