diff options
Diffstat (limited to 'doc/source/misc')
| -rw-r--r-- | doc/source/misc/separate.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/misc/separate.rst b/doc/source/misc/separate.rst index 7392cea6..6c4605d8 100644 --- a/doc/source/misc/separate.rst +++ b/doc/source/misc/separate.rst @@ -16,6 +16,6 @@ The relevant options for a separate config are the following: * :term:`plugins_dir`: A different directory for the plugin sources (not _that_ useful) * :term:`log_dir`: A different directory for logs -* :term:`plugins_conf_dir`: A different directory for plugin configurations ; useful for the GPG plugin, for example. +* :term:`plugins_conf_dir`: A different directory for plugin configurations Those options are detailed in the *configuration page*. |