doc makefiles

This commit is contained in:
Jean-Francois Dockes
2018-12-08 09:55:35 +01:00
parent 5390c1b8a2
commit 0e0075b207
4 changed files with 6 additions and 6 deletions
+1 -1
View File
@@ -8107,7 +8107,7 @@ for i in range(nres):
"RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS" id=
"RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS"></a><span class="term"><code class="varname">monitordirs</code></span></dt>
<dd>
<p>(1.25) Space-separated list of files or
<p>(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