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 /html/feedback.html | |
| parent | 3516cb7082e6ee1f2d1b7a22e45b7844847d1d50 (diff) | |
Changes to use proofgen@dcs for now instead of broken proofgeneral.org
Diffstat (limited to 'html/feedback.html')
| -rw-r--r-- | html/feedback.html | 6 |
1 files changed, 2 insertions, 4 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"); |