diff -r be976799b8c0 -r 726bfb11c1f4 Documentation/Source/eric6.PluginManager.PluginManager.html
--- a/Documentation/Source/eric6.PluginManager.PluginManager.html Mon Aug 28 16:02:41 2017 +0200
+++ b/Documentation/Source/eric6.PluginManager.PluginManager.html Mon Aug 28 16:02:59 2017 +0200
@@ -456,7 +456,7 @@
</p><dl>
<dt><i>type_</i></dt>
<dd>
-type of the plugin to be activated (string)
+type of the plugin to clear private data for (string)
</dd>
</dl><a NAME="PluginManager.deactivatePlugin" ID="PluginManager.deactivatePlugin"></a>
<h4>PluginManager.deactivatePlugin</h4>
