--- a/src/eric7/Documentation/Source/eric7.PluginManager.PluginManager.html Thu May 25 19:51:47 2023 +0200 +++ b/src/eric7/Documentation/Source/eric7.PluginManager.PluginManager.html Thu May 25 19:52:31 2023 +0200 @@ -543,7 +543,7 @@ </p> <a NAME="PluginManager.checkPluginEntry" ID="PluginManager.checkPluginEntry"></a> <h4>PluginManager.checkPluginEntry</h4> -<b>checkPluginEntry</b>(<i>name, short, description, url, author, version, filename, status</i>) +<b>checkPluginEntry</b>(<i>name, short, description, url, author, version, filename, status, </i>) <p> Public method to check a plug-in's data for an update.