projects / xboard.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw
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 70474cf..61985e3 100644 (file)
--- a/manual/html_node/Options.html
+++ b/manual/html_node/Options.html
@@ -3,7 +3,7 @@
 <title>Options - XBoard</title>
 <meta http-equiv="Content-Type" content="text/html">
 <meta name="description" content="XBoard">
-<meta name="generator" content="makeinfo 4.12">
+<meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="start" href="index.html#Top">
 <link rel="prev" href="Menus.html#Menus" title="Menus">
 <link rel="next" href="Chess-Servers.html#Chess-Servers" title="Chess Servers">
@@ -23,8 +23,8 @@
 </head>
 <body>
 <div class="node">
-<p>
 <a name="Options"></a>
+<p>
 Next:&nbsp;<a rel="next" accesskey="n" href="Chess-Servers.html#Chess-Servers">Chess Servers</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="Menus.html#Menus">Menus</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
@@ -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
Graphical Chess board