diff -r d133c7edd88a -r f85f686981ad Documentation/Source/eric5.eric5_api.html --- a/Documentation/Source/eric5.eric5_api.html Sun Sep 29 18:22:08 2013 +0200 +++ b/Documentation/Source/eric5.eric5_api.html Sun Sep 29 18:23:27 2013 +0200 @@ -21,7 +21,7 @@ <body><a NAME="top" ID="top"></a> <h1>eric5.eric5_api</h1> <p> -Eric5 API Generator +Eric5 API Generator. </p><p> This is the main Python script of the API generator. It is this script that gets called via the API generation interface.