diff -r abbe684782af -r 581b0ed6ac47 Documentation/Source/eric6.Debugger.DebugUI.html
--- 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
