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

diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 61985e3..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-129"></a><a name="index-Options-130"></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