From c9ae5bfda6464f1581f2a45a1f47f75a7d7555a1 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Thu, 15 May 2014 15:19:10 +0200
Subject: [PATCH] doc

---
 src/doc/user/usermanual.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/doc/user/usermanual.xml b/src/doc/user/usermanual.xml
index 8f0a95e9..a5e26a96 100644
--- a/src/doc/user/usermanual.xml
+++ b/src/doc/user/usermanual.xml
@@ -5361,7 +5361,9 @@ field2 = value for field2
           <varlistentry><term><varname>webcachemaxmbs</varname></term>
             <listitem><para>This is only used by the web browser
             plugin indexing code, and defines the maximum size for the web
-            page cache. Default: 40 MB.</para> 
+            page cache. Default: 40 MB. Quite unfortunately, this is only
+            taken into account when creating the cache file. You need to
+            delete the file for a change to be taken into account.</para> 
             </listitem>
            </varlistentry>