Switch to side-by-side view

--- a/src/doc/user/usermanual.html
+++ b/src/doc/user/usermanual.html
@@ -8107,7 +8107,7 @@
                 "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