X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=engine-intf.html;h=6fb7c11f4cd4e8f8c6c7f803c9210726622a5956;hb=3278933131ffc6d325e57eb6a131aee06d624b97;hp=6c638593cfc82e098b81d6f409d7109d4cd6e92c;hpb=26b375d2fab95af130d9e5671ca530b096d7ed33;p=xboard.git

diff --git a/engine-intf.html b/engine-intf.html
index 6c63859..6fb7c11 100644
--- a/engine-intf.html
+++ b/engine-intf.html
@@ -1077,7 +1077,7 @@ It will be sent at the start of each game, before the "new" command.
 </font>
 <p>
 
-<dt><font color=blue><strong>option NAME [VALUE]</strong></font>
+<dt><font color=blue><strong>option NAME[=VALUE]</strong></font>
 <dd><font color=blue>
 This command changes the setting of the option NAME defined by the engine 
 (through an earlier feature command)