Re: [BUG] 'exec' runs shell functions and builtins

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

This clarifies the normal behaviour.

diff --git a/Doc/Zsh/builtins.yo b/Doc/Zsh/builtins.yo
index 333db1c..cbaf67a 100644
--- a/Doc/Zsh/builtins.yo
+++ b/Doc/Zsh/builtins.yo
@@ -675,6 +675,10 @@ executed.
 See ifzman(the section `Precommand Modifiers' in zmanref(zshmisc))\
 ifnzman(noderef(Precommand Modifiers)).
 
+If the option tt(POSIX_BUILTINS) is not set, var(command) may be
+interpreted as a shell builtin command or shell function: this is run as
+normal (as if tt(exec) were not present), then the shell exits.
+
 cindex(redirection, current shell's I/O)
 If var(command) is omitted but any redirections are specified,
 then the redirections will take effect in the current shell.

pws