--- a/Documentation/Source/eric6.Debugger.DebugUI.html	Thu Apr 19 19:28:02 2018 +0200
+++ b/Documentation/Source/eric6.Debugger.DebugUI.html	Thu Apr 19 19:30:53 2018 +0200
@@ -67,6 +67,10 @@
 <dd>
 emitted after the execution was interrupted
         by an exception and acknowledged by the user
+</dd><dt>executeMake()</dt>
+<dd>
+emitted if a project specific make run should be
+        performed
 </dd><dt>resetUI()</dt>
 <dd>
 emitted to reset the UI