From ed45e5f00ead9ef21eedd09f21af847b804cd869 Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Thu, 7 Mar 2019 14:30:14 +0100 Subject: [PATCH] doc --- src/doc/user/usermanual.html | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html index 98d29f13..dea2e342 100644 --- a/src/doc/user/usermanual.html +++ b/src/doc/user/usermanual.html @@ -8237,12 +8237,12 @@ for i in range(nres): "RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS" id= "RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS">monitordirs
-

(1.24) Space-separated list of files or - directories to monitor for updates. When running - the real-time indexer, this allows monitoring - only a subset of the whole indexed area. The - elements must be included in the tree defined by - the 'topdirs' members.

+

Space-separated list of files or directories + to monitor for updates. When running the + real-time indexer, this allows monitoring only a + subset of the whole indexed area. The elements + must be included in the tree defined by the + 'topdirs' members.

nowalkfn
+
+

File name which will cause its parent + directory to be skipped. Any directory containing + a file with this name will be skipped as if it + was part of the skippedPaths list. Ex: + .recoll-noindex

+
+