From 564a582e9f3b8f491a553c6db5eb6d156157e068 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 17:49:29 +0000
Subject: Doc fixes, php streamlining
---
html/functions.php3 | 22 ++++++++++++----------
1 file changed, 12 insertions(+), 10 deletions(-)
(limited to 'html/functions.php3')
diff --git a/html/functions.php3 b/html/functions.php3
index 3d215f4f..65e9b155 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -12,6 +12,13 @@
//
+// Project configuration
+
+$project_email = "proofgen@dcs.ed.ac.uk";
+$project_list = "proofgeneral@dcs.ed.ac.uk";
+$project_title = "Proof General"
+$project_subtitle = "Organize your Proofs!";
+
// DTD
$dtd_strict = "\n";
@@ -24,19 +31,12 @@ print $dtd_loose;
$validator = "http://validator.dcs.ed.ac.uk/";
// $validator = "http://localhost/validator/";
-/* Some handy constants */
-
-$pg_email = "proofgen@dcs.ed.ac.uk";
-$pg_list = "proofgeneral@dcs.ed.ac.uk";
-
-$pg_title = "Proof General --- Organize your Proofs!";
-
function mlink($addr) {
print "" . $addr . "";
}
-function pg_email() {
- mlink("proofgen@dcs.ed.ac.uk");
+function project_email() {
+ mlink($project_email);
}
@@ -147,7 +147,9 @@ function footer($filemodified=".") {
}
function click_to_go_back() {
- print "\nClick here to go back to the Proof General front page.
\n";
+ print "\nClick here to go back to the ";
+ print $project_title;
+ print " front page.
\n";
}
/* Link to a marked up file */
--
cgit v1.2.3