RENAME-LIBFILE : LIBRARYCMD

RENAME-LIBFILE is a library command.
Rename a Library File (within the same library directory)
 
The command format for RENAME-LIBFILE is:

<LIB>RENAME-LIBFILE OLDFILE NEWFILE
"FILESPEC" "FILESPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage