summaryrefslogtreecommitdiff
path: root/doc/source/misc
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source/misc')
-rw-r--r--doc/source/misc/separate.rst2
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*.