DEFAULT-LIBINDEX-TYPE : FLAG

DEFAULT-LIBINDEX-TYPE is a flag or parameter.
The default value for the extension of library index files.
DEFAULT-LIBINDEX-TYPE takes values of type STRING.
It belongs to subjects LIBRARY .
Its default value is "rec"
Its current value is "rec".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage