diff -r 7f5228900da5 -r c6ce5522be30 src/eric7/Documentation/Source/eric7.PluginManager.PluginManager.html
--- a/src/eric7/Documentation/Source/eric7.PluginManager.PluginManager.html Tue Jun 25 12:30:47 2024 +0200
+++ b/src/eric7/Documentation/Source/eric7.PluginManager.PluginManager.html Tue Jun 25 14:44:19 2024 +0200
@@ -625,7 +625,7 @@
</p>
<p>
Plugins supporting this functionality must support the module function
- clearPrivateData() and have the module level attribute pluginType.
+ 'clearPrivateData()' (and may have the module level attribute 'pluginType').
</p>
<dl>
