next up previous contents
Next: filter file condition Up: Espace/File Previous: review file [

option name _'137 _'137

Execute a USER defined command. The command /File/option NAME executes the part in the user subroutine OPTION_DO linked to the string NAME as defined in the user subroutine OPTION_DEFINE.



Eddy Offerman
Fri Mar 29 10:56:36 EST 1996