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 webcachemaxmbs This is only used by the web browser plugin indexing code, and defines the maximum size for the web - page cache. Default: 40 MB. + 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.