diff options
Diffstat (limited to 'doc/handbook/chapters/user.texi')
-rw-r--r-- | doc/handbook/chapters/user.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/chapters/user.texi b/doc/handbook/chapters/user.texi index aefa95c3d..998abb87f 100644 --- a/doc/handbook/chapters/user.texi +++ b/doc/handbook/chapters/user.texi | |||
@@ -1127,7 +1127,7 @@ This section describes the four different URI types in detail. | |||
1127 | For FS URIs empty KEYWORDs are not allowed. Quotes are allowed to | 1127 | For FS URIs empty KEYWORDs are not allowed. Quotes are allowed to |
1128 | denote whitespace between words. Keywords must contain a balanced | 1128 | denote whitespace between words. Keywords must contain a balanced |
1129 | number of double quotes. Doubles quotes can not be used in the actual | 1129 | number of double quotes. Doubles quotes can not be used in the actual |
1130 | keywords. This means that the the string '""foo bar""' will be turned | 1130 | keywords. This means that the string '""foo bar""' will be turned |
1131 | into two OR-ed keywords 'foo' and 'bar', not into '"foo bar"'. | 1131 | into two OR-ed keywords 'foo' and 'bar', not into '"foo bar"'. |
1132 | 1132 | ||
1133 | @menu | 1133 | @menu |