diff -r 44e15eda6506 -r e8fc383322f7 eric6/Documentation/Source/eric6.eric6_pluginrepository.html --- a/eric6/Documentation/Source/eric6.eric6_pluginrepository.html Tue Jan 05 18:28:31 2021 +0100 +++ b/eric6/Documentation/Source/eric6.eric6_pluginrepository.html Wed Jan 06 13:47:01 2021 +0100 @@ -23,10 +23,10 @@ <h1>eric6.eric6_pluginrepository</h1> <p> -Eric6 Plugin Installer. +eric Plugin Repository. </p> <p> -This is the main Python script to install eric6 plugins from outside of the +This is the main Python script to install eric plugins from outside of the IDE. </p> <h3>Global Attributes</h3>