aboutsummaryrefslogtreecommitdiff
path: root/html/doc
diff options
context:
space:
mode:
Diffstat (limited to 'html/doc')
-rw-r--r--html/doc14
1 files changed, 5 insertions, 9 deletions
diff --git a/html/doc b/html/doc
index f0cbe7a1..7dfd638e 100644
--- a/html/doc
+++ b/html/doc
@@ -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