aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall2000-09-29 17:43:47 +0000
committerDavid Aspinall2000-09-29 17:43:47 +0000
commit4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (patch)
tree6bf2b984907dfcb45a6d57cba7b3a364d2df03b8
parent8c4e7dac5c76cdb6edee6ed307e08dfd32025c7b (diff)
Short file instead of a link, so works in CVS. Bit annoying to duplicate, but never mind.
-rw-r--r--html/about14
-rw-r--r--html/devel14
-rw-r--r--html/doc14
-rw-r--r--html/download14
-rw-r--r--html/features14
-rw-r--r--html/links14
-rw-r--r--html/main14
-rw-r--r--html/news14
8 files changed, 40 insertions, 72 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
diff --git a/html/devel b/html/devel
index f0cbe7a1..7dfd638e 100644
--- a/html/devel
+++ b/html/devel
@@ -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
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
diff --git a/html/download b/html/download
index f0cbe7a1..7dfd638e 100644
--- a/html/download
+++ b/html/download
@@ -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
diff --git a/html/features b/html/features
index f0cbe7a1..7dfd638e 100644
--- a/html/features
+++ b/html/features
@@ -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
diff --git a/html/links b/html/links
index f0cbe7a1..7dfd638e 100644
--- a/html/links
+++ b/html/links
@@ -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
diff --git a/html/main b/html/main
index f0cbe7a1..7dfd638e 100644
--- a/html/main
+++ b/html/main
@@ -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
diff --git a/html/news b/html/news
index f0cbe7a1..7dfd638e 100644
--- a/html/news
+++ b/html/news
@@ -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