diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html index d66224ba..5a0aa3ba 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
+ "#idp67105136">Document types
2.1.4. Indexing failures
+ "#idp67124816">Indexing failures
2.1.5. Recovery
+ "#idp67132272">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

@@ -2178,7 +2178,7 @@ fvwm # -- Change to: # fs.inotify.max_queued_events=32768 -fs.notify.max_user_instances=256 +fs.inotify.max_user_instances=256 fs.inotify.max_user_watches=32768 diff --git a/src/doc/user/usermanual.xml b/src/doc/user/usermanual.xml index ed120137..8f69f6ba 100644 --- a/src/doc/user/usermanual.xml +++ b/src/doc/user/usermanual.xml @@ -1309,7 +1309,7 @@ fvwm # -- Change to: # fs.inotify.max_queued_events=32768 -fs.notify.max_user_instances=256 +fs.inotify.max_user_instances=256 fs.inotify.max_user_watches=32768