updated manual to 4.7.0
[xboard.git] / manual / html_node / Problems.html
index 0298112..9ac8c77 100644 (file)
@@ -3,7 +3,7 @@
 <title>Problems - XBoard</title>
 <meta http-equiv="Content-Type" content="text/html">
 <meta name="description" content="XBoard">
-<meta name="generator" content="makeinfo 4.12">
+<meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="start" href="index.html#Top">
 <link rel="prev" href="Limitations.html#Limitations" title="Limitations">
 <link rel="next" href="Contributors.html#Contributors" title="Contributors">
 </head>
 <body>
 <div class="node">
-<p>
 <a name="Problems"></a>
+<p>
 Next:&nbsp;<a rel="next" accesskey="n" href="Contributors.html#Contributors">Contributors</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="Limitations.html#Limitations">Limitations</a>,
 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-403"></a><a name="index-Bug-reports-404"></a><a name="index-Reporting-bugs-405"></a><a name="index-Problems-406"></a><a name="index-Reporting-problems-407"></a>
+<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>
 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