X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FProblems.html;h=7b2858a553a9b021848223ec5a739db1e6285522;hb=f8e035410d7c94ad891763384096e500f91646b1;hp=4c6a3e2797ce4107435f1def9a9afb4b4f09c5b5;hpb=738b5b92598a99945eb699ff67b2328072cfaf20;p=xboard.git

diff --git a/manual/html_node/Problems.html b/manual/html_node/Problems.html
index 4c6a3e2..7b2858a 100644
--- a/manual/html_node/Problems.html
+++ b/manual/html_node/Problems.html
@@ -31,9 +31,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
 <hr>
 </div>
 
-<h2 class="chapter">8 Reporting problems</h2>
+<h2 class="chapter">9 Reporting problems</h2>
 
-<p><a name="index-Bugs-437"></a><a name="index-Bug-reports-438"></a><a name="index-Reporting-bugs-439"></a><a name="index-Problems-440"></a><a name="index-Reporting-problems-441"></a>
+<p><a name="index-Bugs-570"></a><a name="index-Bug-reports-571"></a><a name="index-Reporting-bugs-572"></a><a name="index-Problems-573"></a><a name="index-Reporting-problems-574"></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