--- a/Documentation/Source/eric6.Plugins.PluginTabnanny.html	Tue Oct 20 19:19:12 2015 +0200
+++ b/Documentation/Source/eric6.Plugins.PluginTabnanny.html	Thu Oct 22 19:48:40 2015 +0200
@@ -48,6 +48,9 @@
 <dt>batchFinished()</dt>
 <dd>
 emitted when a style check batch is done
+</dd><dt>error(str, str)</dt>
+<dd>
+emitted in case of an error
 </dd><dt>indentChecked(str, bool, str, str)</dt>
 <dd>
 emitted when the indent