X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=manual%2Fhtml_node%2FHelp-Menu.html;fp=manual%2Fhtml_node%2FHelp-Menu.html;h=7cb1143c7000b83e4eb3ed3af20a85ae0fb0b26f;hp=1945a0a6da49c85da333d3a1b2ffd66d473d208a;hb=fd28437a186b98540c9890a40ab96b98667e5649;hpb=0b1478ab4c5685dd1e8b4a2602dc4c7898450d63

diff --git a/manual/html_node/Help-Menu.html b/manual/html_node/Help-Menu.html
index 1945a0a..7cb1143 100644
--- a/manual/html_node/Help-Menu.html
+++ b/manual/html_node/Help-Menu.html
@@ -34,20 +34,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="Menus.html#Menus">Menus</a>
 
 <h3 class="section">3.8 Help Menu</h3>
 
-<p><a name="index-Menu_002c-Help-181"></a><a name="index-Help-Menu-182"></a>
+<p><a name="index-Menu_002c-Help-182"></a><a name="index-Help-Menu-183"></a>
      <dl>
-<dt>Info XBoard<dd><a name="index-Info-XBoard_002c-Menu-Item-183"></a>Displays the XBoard documentation in info format.  For this feature to
+<dt>Info XBoard<dd><a name="index-Info-XBoard_002c-Menu-Item-184"></a>Displays the XBoard documentation in info format.  For this feature to
 work, you must have the GNU info program installed on your system, and
 the file <samp><span class="file">xboard.info</span></samp> must either be present in the current
 working directory, or have been installed by the &lsquo;<samp><span class="samp">make install</span></samp>&rsquo;
 command when you built XBoard. 
-<br><dt>Man XBoard<dd><a name="index-Man-XBoard_002c-Menu-Item-184"></a>Displays the XBoard documentation in man page format. 
+<br><dt>Man XBoard<dd><a name="index-Man-XBoard_002c-Menu-Item-185"></a>Displays the XBoard documentation in man page format. 
 The <kbd>F1</kbd> key is a keyboard equivalent.  For this
 feature to work, the file <samp><span class="file">xboard.6</span></samp> must have been installed by
 the &lsquo;<samp><span class="samp">make install</span></samp>&rsquo; command when you built XBoard, and the
 directory it was placed in must be on the search path for your
 system's &lsquo;<samp><span class="samp">man</span></samp>&rsquo; command. 
-<br><dt>About XBoard<dd><a name="index-About-XBoard_002c-Menu-Item-185"></a>Shows the current XBoard version number. 
+<br><dt>About XBoard<dd><a name="index-About-XBoard_002c-Menu-Item-186"></a>Shows the current XBoard version number. 
 </dl>
 
    </body></html>