diff options
| author | David Aspinall | 1999-10-15 17:49:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-15 17:49:29 +0000 |
| commit | 564a582e9f3b8f491a553c6db5eb6d156157e068 (patch) | |
| tree | d0a6bd0360c3d3fd1b6e1027556a048107177117 /html/functions.php3 | |
| parent | ac5723025f1de3b6d7131b58b42fa6d4a867efe5 (diff) | |
Doc fixes, php streamlining
Diffstat (limited to 'html/functions.php3')
| -rw-r--r-- | html/functions.php3 | 22 |
1 files changed, 12 insertions, 10 deletions
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 = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0//EN\" \"http://www.w3.org/TR/REC-html40/strict.dtd\">\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 "<a href=\"mailto:" . $addr . "\">" . $addr . "</a>"; } -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 "<p>\nClick <a href=\"index.phtml\">here</a> to go back to the Proof General front page.</p>\n"; + print "<p>\nClick <a href=\"index.phtml\">here</a> to go back to the "; + print $project_title; + print " front page.</p>\n"; } /* Link to a marked up file */ |