NEWS-DIR : FLAG

NEWS-DIR is a flag or parameter.
The directory with the NEWS and NOTE files.
NEWS-DIR takes values of type DIRSPEC.
It belongs to subjects MAINTAIN .
Its default value is ""
Its current value is "/home/theorem/tps/".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage