RESTORE-MASTERINDEX : LIBRARYCMD

RESTORE-MASTERINDEX is a library command.
Restore library master index. Normally this need not be done by the
user as it is done automatically when TPS is first entered. However, if
the contents of the library may have been changed from outside of TPS
(e.g. by a text editor) since TPS was started, then this command will
re-initialize the library index.
 
The command format for RESTORE-MASTERINDEX is:

<LIB>RESTORE-MASTERINDEX

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage