summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/en/configure.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/en/configure.txt b/doc/en/configure.txt
index ad2b32d1..cad24be3 100644
--- a/doc/en/configure.txt
+++ b/doc/en/configure.txt
@@ -81,6 +81,11 @@ Configuration options
possible values are: privatexml, pep
You should not have to edit this in a normal use case.
+*use_remote_bookmarks*:: true
+
+ use this option to force the use of local bookmarks if needed.
+ Anything but "false" will be counted as true.
+
*completion*:: normal
the completion type you will use to complete nicknames