doc for partial incremental indexing

2018-04-12 10:35:22 +02:00
parent 272a63104e
commit 1e22966bd3
4 changed files with 120 additions and 50 deletions
@@ -20,6 +20,13 @@
 # independantly of the value of the followLinks variable.</descr></var>
 topdirs = ~

+# <var name="monitordirs" type="string"><brief>(1.25) Space-separated list of
+# files or directories to monitor for updates.</brief><descr>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.</descr></var>
+#monitordirs=
+
 # <var name="skippedNames" type="string">
 #
 # <brief>Files and directories which should be ignored.</brief> <descr>