cvsimport

[xboard.git] / manual / html_node / Help-Menu.html

diff --git a/manual/html_node/Help-Menu.html b/manual/html_node/Help-Menu.html
index 1945a0a..7cb1143 100644 (file)
--- 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>