Add link to documentation.

diff --git a/web/htdocs/chrome/menu.mc b/web/htdocs/chrome/menu.mc
index 2334eb9..ef5aaef 100644 (file)
--- 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>