execute-file - Execute script lines from a file
n execute-file "file" (esc /)
execute-file executes script lines from the given file n times in succession, this is the normal way to execute a MicroEmacs '06 script. The command prompts for a file name, and will then search for <file>[.emf] in the search path. If the file is found then the file is loaded and the buffer is executed n times.
Copyright (c) 1998-2006 JASSPA
Last Modified: 2002/01/11
Generated On: 2006/10/07