DELETE-LIBFILE : LIBRARYCMD

DELETE-LIBFILE is a library command.
Delete a Library File
 
The command format for DELETE-LIBFILE is:

<LIB>DELETE-LIBFILE FILENAME
"FILESPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage