From 95fd1abd259fb89e124e91b514ab8fc05b844ab0 Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Mon, 10 Mar 2014 10:35:39 +0100 Subject: [PATCH] doc --- src/doc/user/usermanual.sgml | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/doc/user/usermanual.sgml b/src/doc/user/usermanual.sgml index 0f1a2f05..f05f6e22 100644 --- a/src/doc/user/usermanual.sgml +++ b/src/doc/user/usermanual.sgml @@ -2835,12 +2835,11 @@ text/html [file:///Users/uncrypted-dockes/projets/bateaux/ilur/factEtCie/r dir for filtering the results on file location - (Ex: dir:/home/me/somedir). - -dir + (Ex: dir:/home/me/somedir). -dir also works to find results not in the specified directory - (release >= 1.15.8). A tilde inside the value will be - expanded to the home directory. Wildcards will be - expanded, but + (release >= 1.15.8). Tilde expansion will be performed as + usual (except for a bug in versions 1.19 to + 1.19.11p1). Wildcards will be expanded, but please have a look at an important limitation of wildcards in path filters.