diff --git a/src/doc/user/Makefile b/src/doc/user/Makefile
index 097f992d..b560abfa 100644
--- a/src/doc/user/Makefile
+++ b/src/doc/user/Makefile
@@ -32,19 +32,19 @@ all: usermanual.html webh usermanual.pdf
 webh:
 	make -C webhelp
         
-usermanual.html: usermanual.xml
+usermanual.html: usermanual.xml recoll.conf.xml
 	xsltproc --xinclude ${commonoptions} \
             -o tmpfile.html custom.xsl $<
 	-tidy -indent tmpfile.html > usermanual.html
 	rm -f tmpfile.html
 
-index.html: usermanual.xml
+index.html: usermanual.xml recoll.conf.xml
 	xsltproc ${commonoptions} \
             --stringparam use.id.as.filename 1 \
             --stringparam root.filename index \
             "${XSLDIR}/html/chunk.xsl" $<
 
-usermanual.pdf: usermanual.xml
+usermanual.pdf: usermanual.xml recoll.conf.xml
 	dblatex --xslt-opts="--xinclude" -tpdf $<
 
 UTILBUILDS=/home/dockes/tmp/builds/medocutils/
diff --git a/src/doc/user/recoll.conf.xml b/src/doc/user/recoll.conf.xml
index 63ee876a..521d84d3 100644
--- a/src/doc/user/recoll.conf.xml
+++ b/src/doc/user/recoll.conf.xml
@@ -11,7 +11,7 @@ $HOME). You can use symbolic links in the list, they will be followed,
 independantly of the value of the followLinks variable.</para></listitem></varlistentry>
 <varlistentry id="RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS">
 <term><varname>monitordirs</varname></term>
-<listitem><para>(1.25) Space-separated list of
+<listitem><para>(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
diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html
index 7c513844..113d576f 100644
--- a/src/doc/user/usermanual.html
+++ b/src/doc/user/usermanual.html
@@ -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
diff --git a/src/doc/user/webhelp/Makefile b/src/doc/user/webhelp/Makefile
index 0d0676e1..9e2d535f 100644
--- a/src/doc/user/webhelp/Makefile
+++ b/src/doc/user/webhelp/Makefile
@@ -1,6 +1,6 @@
 # Configuration
 # The name of the source DocBook xml file
-INPUT_XML = ../usermanual.xml
+INPUT_XML = ../usermanual.xml ../recoll.conf.xml
 
 # The makefile assumes that you have a 
 # directory named images that contains