X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;fp=manual%2Fhtml_node%2FOptions.html;h=49ef2d17a1b3e89e7e2fcc285b8546f1e7177bbd;hp=186b9897e7599ddc2ef60329b59aa589b050ff0f;hb=fd28437a186b98540c9890a40ab96b98667e5649;hpb=0b1478ab4c5685dd1e8b4a2602dc4c7898450d63

diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 186b989..49ef2d1 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-193"></a><a name="index-Options-194"></a>
+<p><a name="index-Options-194"></a><a name="index-Options-195"></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