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. +

+ +
"> + + + + + + + + + + +
From:
Subject:
+ +
+
+ + +
+ +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