From 6cfa097b7a9788a03df5c2e7f7afa1622fbf903e Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 20 Sep 2006 13:43:42 +0000
Subject: [PATCH] Home link is to /, not /index.html (Since this is what a
 bare-hostname URL redirects to anyway.)

---
 web/htdocs/chrome/menu.mc |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/htdocs/chrome/menu.mc b/web/htdocs/chrome/menu.mc
index 1803f09..0a1c593 100644
--- a/web/htdocs/chrome/menu.mc
+++ b/web/htdocs/chrome/menu.mc
@@ -1,6 +1,6 @@
-%# $Id: menu.mc,v 1.5 2006-09-20 11:39:10 mike Exp $
+%# $Id: menu.mc,v 1.6 2006-09-20 13:43:42 mike Exp $
      <p>
-      <a href="/index.html"><b>Home</b></a><br/>
+      <a href="/><b>Home</b></a><br/>
       <a href="/all.html">Test&nbsp;all&nbsp;targets</a><br/>
       <a href="/find.html">Find a target</a><br/>
       <a href="/add.html">Add a target</a><br/>
-- 
1.7.10.4