MOVE-LIBFILE : LIBRARYCMD

MOVE-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
"FILESPEC" "FILESPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage