X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FProblems.html;h=d9f5b351758948ac3aa9458e53df3e418d2ae13b;hb=a36b2aca1054f083cd50958eff7e347e8aa6bfc5;hp=9ac8c7731c1c360740b0e509202f0df65c3e312d;hpb=2a90bf5372bfdc59dd7c88d061d0ef841d69f063;p=xboard.git

diff --git a/manual/html_node/Problems.html b/manual/html_node/Problems.html
index 9ac8c77..d9f5b35 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">9 Reporting problems</h2>
 
-<p><a name="index-Bugs-589"></a><a name="index-Bug-reports-590"></a><a name="index-Reporting-bugs-591"></a><a name="index-Problems-592"></a><a name="index-Reporting-problems-593"></a>
+<p><a name="index-Bugs-602"></a><a name="index-Bug-reports-603"></a><a name="index-Reporting-bugs-604"></a><a name="index-Problems-605"></a><a name="index-Reporting-problems-606"></a>
 You can report bugs and problems with XBoard using
 the bug tracker at <code>https://savannah.gnu.org/projects/xboard/</code>
 or by sending mail to <code>&lt;bug-xboard@gnu.org&gt;</code>.  It can also