updated manuals to latest xboard.texi version

[xboard.git] / manual / html_node / Problems.html

diff --git a/manual/html_node/Problems.html b/manual/html_node/Problems.html
index 712923c..6ae7fde 100644 (file)
--- a/manual/html_node/Problems.html
+++ b/manual/html_node/Problems.html
@@ -33,7 +33,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
 
 <h2 class="chapter">8 Reporting problems</h2>
 
-<p><a name="index-Bugs-395"></a><a name="index-Bug-reports-396"></a><a name="index-Reporting-bugs-397"></a><a name="index-Problems-398"></a><a name="index-Reporting-problems-399"></a>
+<p><a name="index-Bugs-400"></a><a name="index-Bug-reports-401"></a><a name="index-Reporting-bugs-402"></a><a name="index-Problems-403"></a><a name="index-Reporting-problems-404"></a>
 Report bugs and problems with XBoard to <code>&lt;bug-xboard@gnu.org&gt;</code>.
 
    <p>Please use the <samp><span class="file">script</span></samp> program to start a typescript, run