$HEADER (FWEB)

Next: $HOME: The user’s home directory, Previous: $GETENV: Get value of environment variable, Up: Built-in functions [Contents][Index]

7.2.3.20 `$HEADER`: Value of RCS global keyword `Header`

Equivalent to ‘$KEYWORD(Header)’. See $KEYWORD: Value of global RCS-like keyword.