diff options
Diffstat (limited to 'doc/tofi.5.md')
| -rw-r--r-- | doc/tofi.5.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 8455667..b330278 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -20,6 +20,16 @@ case-insensitive, except where not possible (e.g. paths). Later options override earlier options, and command line options override config file options. +# SPECIAL OPTIONS + +**include**=*path* + +> Include the contents of another config file. If *path* is a relative +> path, it is interpreted as relative to this config file's path (or the +> current directory if **--include** is passed on the command line). +> Inclusion happens immediately, before the rest of the current file's +> contents are parsed. + # BEHAVIOUR OPTIONS **hide-cursor**=*true\|false* |