X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FProblems.html;h=6ae7fdeeb8e9db1557ad33ba95d6c2a1171136c9;hb=dcdcba0fec571355a0b2994adb39a1a3467bbafc;hp=712923cc0c4827680da452535b37ba5ec2d762a8;hpb=5538e55a9678d04ac6d94baedacd150fa3910a61;p=xboard.git

diff --git a/manual/html_node/Problems.html b/manual/html_node/Problems.html
index 712923c..6ae7fde 100644
--- 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