demo_run

Description

The function demo_run executes a script in the file 'fil' given in argument.

See Also

• exec — script file execution
• demo_begin — begin a demonstration
• demo_end — completes a demonstration