Otherwise, if EXEC is executing a file that was included with $*$INclude, $*$RETurn terminates execution of the file and returns to the previous input source (either the file that contained the original $*$INclude directive or the terminal).
Otherwise, EXEC must be executing from a single EXEC file or from the terminal. In this case, $*$RETurn terminates the EXEC session.
Copyright © 2000, Thinkage Ltd.