From 23fea5dfa86755c6ae03148ba913270a5ac08969 Mon Sep 17 00:00:00 2001
From: Christian Soffke <christian.soffke@gmail.com>
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(+)

(limited to 'manual/appendix/config_file_options.tex')

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

