--- a/Documentation/Source/eric5.eric5_plugininstall.html Sun Oct 13 17:29:57 2013 +0200 +++ b/Documentation/Source/eric5.eric5_plugininstall.html Sun Oct 13 17:44:48 2013 +0200 @@ -23,7 +23,8 @@ <p> Eric5 Plugin Installer. </p><p> -This is the main Python script to install eric5 plugins from outside of the IDE. +This is the main Python script to install eric5 plugins from outside of the +IDE. </p> <h3>Global Attributes</h3> <table>