diff options
Diffstat (limited to 'doc/tofi.5.scd')
| -rw-r--r-- | doc/tofi.5.scd | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index 696b06e..e0faa2d 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -22,6 +22,14 @@ 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_ |