diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html
index 0238165c..ebc7ab8a 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="idp9509520" id=
-          "idp9509520"></a>Recoll user manual</h1>
+          <h1 class="title"><a name="idp48022000" id=
+          "idp48022000"></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=
-                "#idp41562832">Document types</a></span></dt>
+                "#idp53527712">Document types</a></span></dt>
 
                 <dt><span class="sect2">2.1.4. <a href=
-                "#idp41582512">Indexing failures</a></span></dt>
+                "#idp53547392">Indexing failures</a></span></dt>
 
                 <dt><span class="sect2">2.1.5. <a href=
-                "#idp41589968">Recovery</a></span></dt>
+                "#idp53554848">Recovery</a></span></dt>
               </dl>
             </dd>
 
@@ -997,8 +997,8 @@ alink="#0000FF">
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp41562832" id=
-                "idp41562832"></a>2.1.3.&nbsp;Document types</h3>
+                <h3 class="title"><a name="idp53527712" id=
+                "idp53527712"></a>2.1.3.&nbsp;Document types</h3>
               </div>
             </div>
           </div>
@@ -1091,8 +1091,8 @@ indexedmimetypes = application/pdf
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp41582512" id=
-                "idp41582512"></a>2.1.4.&nbsp;Indexing
+                <h3 class="title"><a name="idp53547392" id=
+                "idp53547392"></a>2.1.4.&nbsp;Indexing
                 failures</h3>
               </div>
             </div>
@@ -1132,8 +1132,8 @@ indexedmimetypes = application/pdf
           <div class="titlepage">
             <div>
               <div>
-                <h3 class="title"><a name="idp41589968" id=
-                "idp41589968"></a>2.1.5.&nbsp;Recovery</h3>
+                <h3 class="title"><a name="idp53554848" id=
+                "idp53554848"></a>2.1.5.&nbsp;Recovery</h3>
               </div>
             </div>
           </div>