diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-01 14:18:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-01 14:18:23 +0000 |
| commit | dabe19b881590a70815551326c7ef390e0248200 (patch) | |
| tree | 5d3105afc6c0eec28b0389357743f86eecca53ee /html | |
| parent | 75ef5af371aa223e8a96607bb85bb20a340e4f47 (diff) | |
Include php instead of html
Diffstat (limited to 'html')
| -rw-r--r-- | html/about | 2 | ||||
| -rw-r--r-- | html/devel | 2 | ||||
| -rw-r--r-- | html/doc | 2 | ||||
| -rw-r--r-- | html/download | 2 | ||||
| -rw-r--r-- | html/features | 2 | ||||
| -rw-r--r-- | html/links | 2 | ||||
| -rw-r--r-- | html/main | 2 | ||||
| -rw-r--r-- | html/news | 2 |
8 files changed, 8 insertions, 8 deletions
@@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 diff --git a/html/download b/html/download index 7dfd638e..a58717d8 100644 --- a/html/download +++ b/html/download @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 diff --git a/html/features b/html/features index 7dfd638e..a58717d8 100644 --- a/html/features +++ b/html/features @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 @@ -1,4 +1,4 @@ -<?php include('index.html'); ?> +<?php include('index.php'); ?> <?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 |