From e3d572318bd40aadd46d2e6a6a543f02afd47f33 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Sep 2001 13:44:53 +0000 Subject: Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files --- html/feedback.html | 88 +++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 87 insertions(+), 1 deletion(-) (limited to 'html/feedback.html') diff --git a/html/feedback.html b/html/feedback.html index a827be79..4b01ce80 100644 --- a/html/feedback.html +++ b/html/feedback.html @@ -1 +1,87 @@ - + + +
+Please use the form below to send us comments, suggestions,
+or offers to help with Proof Generl development.
+
+Or send email directly to
+the
+
+You can also report a bug using this form, although it would +be more helpful to do this from within Emacs, using the +"Proof General -> Submit bug report" menu command. +
+ + + +Dear " . $from . ",\n"; }; + print ""; + print "Thank-you for sending us feedback"; + if ($subject != "") { print " about " . $subject; }; + print ".
\n"; + 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 "
"; + + mail($project_feedback, + "[Web Feedback Form]: " . $subject, + $message, + "Reply-To: " . $from . "\n"); + + click_to_go_back(); + + footer(); +endif; +?> -- cgit v1.2.3