From 35642157dc5b17bb06f803189ab9c7dff01c7425 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 13:50:48 +0000
Subject: Simple hit counter

---
 html/index.shtml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'html/index.shtml')

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