CREATE-LIB-DIR : LIBRARYCMD

CREATE-LIB-DIR is a library command.
Create a directory to store files containing library items.
This will not only create the directory, but create a file libindex.rec
so that TPS will recognize the directory as a library directory.
This will automatically add the directory to DEFAULT-LIB-DIR in
the current session of TPS.
 
The command format for CREATE-LIB-DIR is:

<LIB>CREATE-LIB-DIR DIRECTORY
"DIRSPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage