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.