aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/about
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 17:43:47 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 17:43:47 +0000
commit4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (patch)
tree6bf2b984907dfcb45a6d57cba7b3a364d2df03b8 /html/about
parent8c4e7dac5c76cdb6edee6ed307e08dfd32025c7b (diff)
Short file instead of a link, so works in CVS. Bit annoying to duplicate, but never mind.
Diffstat (limited to 'html/about')
-rw-r--r--html/about14
1 files changed, 5 insertions, 9 deletions
diff --git a/html/about b/html/about
index f0cbe7a1..7dfd638e 100644
--- a/html/about
+++ b/html/about
@@ -1,9 +1,5 @@
-<?php require('functions.php3'); ?>
-<html>
-<?php include('head.html'); ?>
-<?php
- include('header.html');
- include($WANTED . '.html');
- footer();
-?>
-
+<?php include('index.html'); ?>
+<?php
+ /* This file needs some extra characters in it for apache to work its magic.
+ Things work fine as link to index.html, but it's tricky to include links
+ in cvs. */ ?> \ No newline at end of file