diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html index e5795671..99ec3fe9 100644 --- a/src/doc/user/usermanual.html +++ b/src/doc/user/usermanual.html @@ -20,8 +20,8 @@ alink="#0000FF">
-

Recoll user manual

+

Recoll user manual

@@ -109,13 +109,13 @@ alink="#0000FF"> multiple indexes
2.1.3. Document types
+ "#idp37906544">Document types
2.1.4. Indexing failures
+ "#idp37926224">Indexing failures
2.1.5. Recovery
+ "#idp37933680">Recovery @@ -985,8 +985,8 @@ alink="#0000FF">
-

2.1.3. Document types

+

2.1.3. Document types

@@ -1079,8 +1079,8 @@ indexedmimetypes = application/pdf
-

2.1.4. Indexing +

2.1.4. Indexing failures

@@ -1120,8 +1120,8 @@ indexedmimetypes = application/pdf
-

2.1.5. Recovery

+

2.1.5. Recovery