From 9deed404be4dc82a3702574a85629d94d1a0e4f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 May 2001 14:23:21 +0000
Subject: Change link to kit

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

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 5c9c77bb..2e1e3559 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -8,7 +8,7 @@ users and hackers!
 
 <ul>
 <li>
-Read about ideas for the <a href="kit.html">Proof General Kit</a>
+Read about ideas for the <a href="kit">Proof General Kit</a>
 here.
 </li>
 </ul>
-- 
cgit v1.2.3