home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Fresh Fish 8
/
FreshFishVol8-CD1.bin
/
useful
/
text
/
tex
/
pastex
/
rexx
/
quit_tex.ced
< prev
next >
Wrap
Text File
|
1991-07-27
|
281b
|
16 lines
/*
** ARexx Script to stop the "Start_TeX" script.
**
** 19.08.90 Georg Hessmann
*/
OPTIONS RESULTS
IF (SHOW('P', 'Start_TeX')) THEN DO
okay2 "Really stop ARexx TeX-server ?"
if (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
END
ELSE
okay1 "No TeX-server to quit!"
EXIT 0