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