From 5f590c7ca7809521d5ef2f074893bf7b8a712e14 Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Mon, 30 May 2016 13:32:03 +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 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