From d327f239d8ef462a38469674084797383cb7a54b Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 28 Sep 2006 16:47:22 +0000
Subject: [PATCH] Add link to documentation.

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

diff --git a/web/htdocs/chrome/menu.mc b/web/htdocs/chrome/menu.mc
index 2334eb9..ef5aaef 100644
--- a/web/htdocs/chrome/menu.mc
+++ b/web/htdocs/chrome/menu.mc
@@ -1,4 +1,4 @@
-%# $Id: menu.mc,v 1.7 2006-09-20 14:11:03 mike Exp $
+%# $Id: menu.mc,v 1.8 2006-09-28 16:47:22 mike Exp $
      <p>
       <a href="/"><b>Home</b></a><br/>
       <a href="/all.html">Test&nbsp;all&nbsp;targets</a><br/>
@@ -13,6 +13,9 @@
 % }
      </p>
      <p>
+      <a href="/doc.html">Documentation</a>
+     </p>
+     <p>
       <a href="http://validator.w3.org/check?uri=referer"><img
         src="/valid-xhtml10.png"
         alt="Valid XHTML 1.0 Strict" height="31" width="88" /></a>
-- 
1.7.10.4