Next: $HOME
: The user’s home directory, Previous: $GETENV
: Get value of environment variable, Up: Built-in functions [Contents][Index]
$HEADER
: Value of RCS global keyword Header
Equivalent to ‘$KEYWORD(Header)’. See $KEYWORD
: Value of global RCS-like keyword.