diff -r ecf67e07b6e0 -r 72b88fb20261 eric6/Documentation/Source/eric6.PluginManager.PluginManager.html
--- a/eric6/Documentation/Source/eric6.PluginManager.PluginManager.html Sat Dec 19 15:06:20 2020 +0100
+++ b/eric6/Documentation/Source/eric6.PluginManager.PluginManager.html Sat Dec 19 15:22:26 2020 +0100
@@ -526,7 +526,7 @@
<dd>
name of the module to be activated
</dd>
-<dt><i>onDemand=</i></dt>
+<dt><i>onDemand</i></dt>
<dd>
flag indicating activation of an
on demand plugin (boolean)
@@ -635,7 +635,7 @@
<dd>
name of the module to be deactivated
</dd>
-<dt><i>onDemand=</i></dt>
+<dt><i>onDemand</i></dt>
<dd>
flag indicating deactivation of an
on demand plugin (boolean)
@@ -885,7 +885,7 @@
<dd>
name of the plugin within the type category (string)
</dd>
-<dt><i>maybeActive=</i></dt>
+<dt><i>maybeActive</i></dt>
<dd>
flag indicating, that the plugin may be active
already (boolean)
