From 933151abd75b9c05e8cf42a87717af40ff94343b Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Sun, 1 Feb 2015 01:53:29 +0100
Subject: [PATCH] Regenerate docs.

---
 doc/help/settings.asciidoc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/help/settings.asciidoc b/doc/help/settings.asciidoc
index 511003978..ea0f542bc 100644
--- a/doc/help/settings.asciidoc
+++ b/doc/help/settings.asciidoc
@@ -9,6 +9,7 @@
 |<<general-startpage,startpage>>|The default page(s) to open at the start, separated by commas.
 |<<general-auto-search,auto-search>>|Whether to start a search when something else than a URL is entered.
 |<<general-auto-save-config,auto-save-config>>|Whether to save the config automatically on quit.
+|<<general-auto-save-interval,auto-save-interval>>|How often (in milliseconds) to auto-save config/cookies/etc.
 |<<general-editor,editor>>|The editor (and arguments) to use for the `open-editor` command.
 |<<general-editor-encoding,editor-encoding>>|Encoding to use for editor.
 |<<general-private-browsing,private-browsing>>|Do not record visited pages in the history or store web page icons.
@@ -271,6 +272,12 @@ Valid values:
 
 Default: +pass:[true]+
 
+[[general-auto-save-interval]]
+=== auto-save-interval
+How often (in milliseconds) to auto-save config/cookies/etc.
+
+Default: +pass:[15000]+
+
 [[general-editor]]
 === editor
 The editor (and arguments) to use for the `open-editor` command.