diff options
| author | David Aspinall | 2001-03-20 16:44:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-03-20 16:44:55 +0000 |
| commit | a64c9401667e8ea98241a496ff6eab82381f1ffd (patch) | |
| tree | 3c6ade309deb65686d4ad855f8d5742da03f474f | |
| parent | 3516cb7082e6ee1f2d1b7a22e45b7844847d1d50 (diff) | |
Changes to use proofgen@dcs for now instead of broken proofgeneral.org
| -rw-r--r-- | html/feedback.html | 6 | ||||
| -rw-r--r-- | html/footer.html | 4 | ||||
| -rw-r--r-- | html/functions.php3 | 19 |
3 files changed, 21 insertions, 8 deletions
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 -<feedback@proofgeneral.org></a>. +the <?php mlinktxt($project_feedback, "Proof General maintainer <$project_feedback>."); ?> </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"; |