RENAME-LIBDIR : LIBRARYCMD

RENAME-LIBDIR is a library command.
Rename a Library Directory
 
The command format for RENAME-LIBDIR is:

<LIB>RENAME-LIBDIR

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage