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 ++----
 html/footer.html    |  4 ++--
 html/functions.php3 | 19 +++++++++++++++++--
 3 files changed, 21 insertions(+), 8 deletions(-)

(limited to '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");
diff --git a/html/footer.html b/html/footer.html
index 9fd59285..35c6cf83 100644
--- a/html/footer.html
+++ b/html/footer.html
@@ -10,6 +10,6 @@ Web pages by
 <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
 <br>
 Contact
-<a href="mailto:feedback@proofgeneral.org">Proof General maintainer.</a>
+<?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
 <br>
-<!-- End of footer -->
\ No newline at end of file
+
diff --git a/html/functions.php3 b/html/functions.php3
index c4817bee..39b6b266 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -14,9 +14,18 @@
 
 // Project configuration
 
-$project_email = "feedback@proofgeneral.org";
-$project_list  = "users@proofgeneral.org";
+// $project_email = "feedback@proofgeneral.org";
+// $project_list  = "users@proofgeneral.org";
+// $project_feedback = "feedback@proofgeneral.org":
+
+// Disable because free parking forwarding is broken
+$proofgenatdcs = "proofgen@dcs.ed.ac.uk";
+$project_email = $proofgenatdcs;
+$project_list  = $proofgenatdcs;
+$project_feedback = $proofgenatdcs;
+
 $project_title = "Proof General";
+
 $project_subtitle = "Organize your Proofs!";
 $project_full_title = $project_title . " --- " . $project_subtitle;
 
@@ -39,6 +48,11 @@ function mlink($addr) {
   print "<a href=\"mailto:" . $addr . "\">" . $addr . "</a>";
 }
 
+function mlinktxt($addr,$txt) {
+  print "<a href=\"mailto:" . $addr . "\">" . $txt . "</a>";
+}
+
+
 // FIXME: doesn't seem to work.  Why not?
 function project_email() {
   mlink($project_email);
@@ -131,6 +145,7 @@ function small_header_body($title) {
    or use SCRIPT_NAME, and then include footer.html. */
 
 function footer($filemodified=".") {
+  global $project_feedback;
   include('footer.html'); 
   date_modified($filemodified);
   print "</address>\n";
-- 
cgit v1.2.3