From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 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 30b85d89..06e59a0d 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.phtml"-->
+<!--#include file="index.html"-->
-- 
cgit v1.2.3