MOVE-LIBFILE : LIBRARYCMDMOVE-LIBFILE is a library command.
Move a file of library objects. The source file will
be found among the directories in DEFAULT-LIB-DIR and BACKUP-LIB-DIR
(the user will be prompted if more than one such file exists, and also
if there is a choice of directories for the new file).
Needed objects are not moved.
The command format for MOVE-LIBFILE is:
<LIB>MOVE-LIBFILE OLDFILE NEWFILE
TPS documentation homepage