diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html index 49fb82a8..049169a3 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
+ "#idp38000656">Document types
2.1.4. Indexing failures
+ "#idp38020336">Indexing failures
2.1.5. Recovery
+ "#idp38027792">Recovery @@ -981,8 +981,8 @@ alink="#0000FF">
-

2.1.3. Document types

+

2.1.3. Document types

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

2.1.4. Indexing +

2.1.4. Indexing failures

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

2.1.5. Recovery

+

2.1.5. Recovery

@@ -6769,8 +6769,6 @@ or
-

Data descriptors

-
Query.arraysize