X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;h=dd96d8417beeecef056e68ccdd2f7ce7033866ff;hb=7dd10a8fd47a1d2b9042e65e9504f3fb67e5b148;hp=763368049b453e7ea14e35a18dee7ca5e69ee1cc;hpb=10173187bb807a7194df200fef7a0e5efe47688f;p=xboard.git

diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 7633680..dd96d84 100644
--- a/manual/html_node/Options.html
+++ b/manual/html_node/Options.html
@@ -31,9 +31,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
 <hr>
 </div>
 
-<h2 class="chapter">3 Options</h2>
+<h2 class="chapter">4 Options</h2>
 
-<p><a name="index-Options-111"></a><a name="index-Options-112"></a>
+<p><a name="index-Options-153"></a><a name="index-Options-154"></a>
 This section documents the command-line options to XBoard.  You can
 set these options in two ways: by typing them on the shell command
 line you use to start XBoard, or by setting them as X resources