DELETE-LIB-DIR : LIBRARYCMD

DELETE-LIB-DIR is a library command.
Deletes a library directory and removes it from DEFAULT-LIB-DIR.
The command will fail if the directory contains any library objects
(i.e., if the index file is not empty).
 
The command format for DELETE-LIB-DIR is:

<LIB>DELETE-LIB-DIR

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage