</font>\r
<p>\r
\r
-<dt><font color=blue><strong>option NAME [VALUE]</strong></font>\r
+<dt><font color=blue><strong>option NAME[=VALUE]</strong></font>\r
<dd><font color=blue>\r
This command changes the setting of the option NAME defined by the engine \r
(through an earlier feature command)\r