release of 4.5.0

[xboard.git] / manual / html_node / Options.html

diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 7633680..61985e3 100644 (file)
--- 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">3 Options</h2>
 
-<p><a name="index-Options-111"></a><a name="index-Options-112"></a>
+<p><a name="index-Options-129"></a><a name="index-Options-130"></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