From a64c9401667e8ea98241a496ff6eab82381f1ffd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 16:44:55 +0000
Subject: Changes to use proofgen@dcs for now instead of broken
 proofgeneral.org

---
 html/feedback.html | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'html/feedback.html')

diff --git a/html/feedback.html b/html/feedback.html
index 17dc974c..36491c94 100644
--- a/html/feedback.html
+++ b/html/feedback.html
@@ -20,9 +20,7 @@ Please use the form below to send us comments, suggestions,
 or offers to help with Proof Generl development.
 <br>
 Or send email directly to
-the 
-<a href="mailto:feedback@proofgeneral.org">Proof General maintainer
-&lt;feedback@proofgeneral.org&gt;</a>.
+the <?php mlinktxt($project_feedback, "Proof General maintainer &lt;$project_feedback&gt."); ?>
 </p>
 <p>
 You can also report a bug using this form, although it would
@@ -77,7 +75,7 @@ Dear Proof General developers,
    print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read.";
    print "</p>";
 
-   mail("feedback@proofgeneral.org",
+   mail($project_feedback,  
 	"[Web Feedback Form]: " . $subject,
 	$message,
         "Reply-To: " . $from . "\n");
-- 
cgit v1.2.3