X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;h=186b9897e7599ddc2ef60329b59aa589b050ff0f;hb=9d617ed09387abb080e6728fda8a9ddfbc71ba41;hp=9d17c83bc1d90185315d82e505162fb4f83e7a99;hpb=000cff42e95a263975431776e68233c37b977b73;p=xboard.git

diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 9d17c83..186b989 100644
--- a/manual/html_node/Options.html
+++ b/manual/html_node/Options.html
@@ -33,7 +33,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
 
 <h2 class="chapter">4 Options</h2>
 
-<p><a name="index-Options-188"></a><a name="index-Options-189"></a>
+<p><a name="index-Options-193"></a><a name="index-Options-194"></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 editing the settings file