From 23fea5dfa86755c6ae03148ba913270a5ac08969 Mon Sep 17 00:00:00 2001 From: Christian Soffke Date: Tue, 24 May 2022 20:53:51 +0200 Subject: manual: add 'autoupdate bookmarks' to config file options (from db1b823) Change-Id: I863c0b366ad0c07ebce91da0017e57013fa126b8 --- manual/appendix/config_file_options.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/manual/appendix/config_file_options.tex b/manual/appendix/config_file_options.tex index 9de95c257b..66c1930e58 100644 --- a/manual/appendix/config_file_options.tex +++ b/manual/appendix/config_file_options.tex @@ -124,6 +124,8 @@ wps & /path/filename.wps & N/A\\ autocreate bookmarks & off, on & N/A\\ + autoupdate bookmarks + & off, on & N/A\\ autoload bookmarks & off, on & N/A\\ use most-recent-bookmarks -- cgit v1.2.3