From 39c58b3b71f79766058240a5834e3e33c43f54f1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 19:23:05 +0000
Subject: Link image to root dir.

---
 html/header.html      | 2 +-
 html/smallheader.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/header.html b/html/header.html
index cb5b3aba..cbd9456d 100644
--- a/html/header.html
+++ b/html/header.html
@@ -2,7 +2,7 @@
 <table width="550">
 <tr>
 <td width="190">
-<a href="index.html">
+<a href="">
 <img src="images/ProofGeneral.jpg" alt="Proof General" align=top
      width=180 height=238 border=0 >
 </a>
diff --git a/html/smallheader.html b/html/smallheader.html
index 62c2412c..55cb7a4c 100644
--- a/html/smallheader.html
+++ b/html/smallheader.html
@@ -1,7 +1,7 @@
 <table width="80%">
 <tr>
 <td width="30%">
-<a href="index.html">
+<a href="">
 <img src="images/PG-small.jpg" align=top width=75 height=99 border=0 alt="Proof General Home">
 </a>
 </td>
-- 
cgit v1.2.3