!
!       FILE TO SET UP THE RNOTOTEX COMMAND
DEFINE VERB RNOTOTEX
   IMAGE tex_exe:RNOTOTEX
   QUALIFIER TEX
   PARAMETER P1 LABEL=RNO_FILE,PROMPT="RNO file",VALUE(TYPE=$FILE,REQUIRED)
   PARAMETER P2 LABEL=TEX_FILE,PROMPT="TeX file",VALUE(TYPE=$FILE,REQUIRED)