diff --git a/src/Makefile.am b/src/Makefile.am
index 76ec6273..a3d7c577 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -623,7 +623,8 @@ rdocdir = $(pkgdatadir)/doc
 rdoc_DATA = doc/user/usermanual.html doc/user/docbook-xsl.css 
 doc/user/usermanual.html: doc/user/usermanual.xml
 	mkdir -p doc/user
-	cp -p $(top_srcdir)/doc/user/Makefile doc/user
+	test -f doc/user/Makefile  || \
+		cp -p $(top_srcdir)/doc/user/Makefile doc/user
 	$(MAKE) -C doc/user VPATH=../../$(VPATH)/doc/user usermanual.html
 endif
 
diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html
index 1679b122..531e99a5 100644
--- a/src/doc/user/usermanual.html
+++ b/src/doc/user/usermanual.html
@@ -20,8 +20,8 @@ alink="#0000FF">
     <div class="titlepage">
       <div>
         <div>
-          <h1 class="title"><a name="idp45717744" id=
-          "idp45717744"></a>Recoll user manual</h1>
+          <h1 class="title"><a name="idp49119296" id=
+          "idp49119296"></a>Recoll user manual</h1>
         </div>
 
         <div>
@@ -109,13 +109,13 @@ alink="#0000FF">
                 multiple indexes</a></span></dt>
 
                 <dt><span class="sect2">2.1.3. <a href=
-                "#idp51287344">Document types</a></span></dt>
+                "#idp55127072">Document types</a></span></dt>
 
                 <dt><span class="sect2">2.1.4. <a href=
-                "#idp51307024">Indexing failures</a></span></dt>
+                "#idp55146752">Indexing failures</a></span></dt>
 
                 <dt><span class="sect2">2.1.5. <a href=
-                "#idp51314032">Recovery</a></span></dt>
+                "#idp55153760">Recovery</a></span></dt>
               </dl>
             </dd>
 
@@ -962,8 +962,8 @@ alink="#0000FF">
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp51287344" id=
-                "idp51287344"></a>2.1.3.&nbsp;Document types</h3>
+                <h3 class="title"><a name="idp55127072" id=
+                "idp55127072"></a>2.1.3.&nbsp;Document types</h3>
               </div>
             </div>
           </div>
@@ -1056,8 +1056,8 @@ indexedmimetypes = application/pdf
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp51307024" id=
-                "idp51307024"></a>2.1.4.&nbsp;Indexing
+                <h3 class="title"><a name="idp55146752" id=
+                "idp55146752"></a>2.1.4.&nbsp;Indexing
                 failures</h3>
               </div>
             </div>
@@ -1097,8 +1097,8 @@ indexedmimetypes = application/pdf
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp51314032" id=
-                "idp51314032"></a>2.1.5.&nbsp;Recovery</h3>
+                <h3 class="title"><a name="idp55153760" id=
+                "idp55153760"></a>2.1.5.&nbsp;Recovery</h3>
               </div>
             </div>
           </div>