From f4112b021f46d002aec8955a8212c6a98cba05b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 May 2001 14:20:58 +0000
Subject: Include php file

---
 html/index.shtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/index.shtml')

diff --git a/html/index.shtml b/html/index.shtml
index 06e59a0d..d4bdff95 100644
--- a/html/index.shtml
+++ b/html/index.shtml
@@ -1,3 +1,3 @@
 <!-- This is the entry point to the Proof General web pages -->
 <!--#include file="counter.php3"-->
-<!--#include file="index.html"-->
+<!--#include file="index.php"-->
-- 
cgit v1.2.3