From 2d2c7b1572acb296548b079a0aac630861fffc18 Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Fri, 12 Aug 2016 17:40:10 +0200 Subject: [PATCH] doc --- src/doc/user/usermanual.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) 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">
-

Recoll user manual

+

Recoll user manual

@@ -109,13 +109,13 @@ alink="#0000FF"> multiple indexes
2.1.3. Document types
+ "#idp53527712">Document types
2.1.4. Indexing failures
+ "#idp53547392">Indexing failures
2.1.5. Recovery
+ "#idp53554848">Recovery @@ -997,8 +997,8 @@ alink="#0000FF">
-

2.1.3. Document types

+

2.1.3. Document types

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

2.1.4. Indexing +

2.1.4. Indexing failures

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

2.1.5. Recovery

+

2.1.5. Recovery