From dabe19b881590a70815551326c7ef390e0248200 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 May 2001 14:18:23 +0000
Subject: Include php instead of html

---
 html/about    | 2 +-
 html/devel    | 2 +-
 html/doc      | 2 +-
 html/download | 2 +-
 html/features | 2 +-
 html/links    | 2 +-
 html/main     | 2 +-
 html/news     | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'html')

diff --git a/html/about b/html/about
index 7dfd638e..a58717d8 100644
--- a/html/about
+++ b/html/about
@@ -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/devel b/html/devel
index 7dfd638e..a58717d8 100644
--- a/html/devel
+++ b/html/devel
@@ -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/doc b/html/doc
index 7dfd638e..a58717d8 100644
--- a/html/doc
+++ b/html/doc
@@ -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 
diff --git a/html/links b/html/links
index 7dfd638e..a58717d8 100644
--- a/html/links
+++ b/html/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/main b/html/main
index 7dfd638e..a58717d8 100644
--- a/html/main
+++ b/html/main
@@ -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/news b/html/news
index 7dfd638e..a58717d8 100644
--- a/html/news
+++ b/html/news
@@ -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 
-- 
cgit v1.2.3