Add --include option.

This allows config files to include other files, so you can e.g. split
style and behaviour options into different files.

1 files changed, 7 insertions, 0 deletions

diff --git a/doc/config b/doc/config
index e1e93a7..f95a367 100644
--- a/doc/config
+++ b/doc/config
@@ -144,3 +144,10 @@
 	# for a short time after launch. The only reason to use this option is
 	# performance on slow systems.
 	late-keyboard-init = false
+
+#
+### Inclusion
+#
+	# Configs can be split between multiple files, and then included
+	# within each other.
+	# include = /path/to/config