diff options
| -rw-r--r-- | doc/lispref/os.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi index 1d0723e00ef..204055d9e78 100644 --- a/doc/lispref/os.texi +++ b/doc/lispref/os.texi | |||
| @@ -2625,7 +2625,8 @@ any one of the following symbols: | |||
| 2625 | @item deleted | 2625 | @item deleted |
| 2626 | @var{file} was deleted | 2626 | @var{file} was deleted |
| 2627 | @item changed | 2627 | @item changed |
| 2628 | @var{file} has changed | 2628 | @var{file}'s contents has changed; with @file{w32notify} library, |
| 2629 | reports attribute changes as well | ||
| 2629 | @item renamed | 2630 | @item renamed |
| 2630 | @var{file} has been renamed to @var{file1} | 2631 | @var{file} has been renamed to @var{file1} |
| 2631 | @item attribute-changed | 2632 | @item attribute-changed |
| @@ -2633,8 +2634,8 @@ a @var{file} attribute was changed | |||
| 2633 | @end table | 2634 | @end table |
| 2634 | 2635 | ||
| 2635 | Note that the @file{w32notify} library does not report | 2636 | Note that the @file{w32notify} library does not report |
| 2636 | @code{attribute-changed} events. Even in case a file attribute has | 2637 | @code{attribute-changed} events. When some file's attribute, like |
| 2637 | changed, like permissions or modification time, this library reports a | 2638 | permissions or modification time, has changed, this library reports a |
| 2638 | @code{changed} event. | 2639 | @code{changed} event. |
| 2639 | 2640 | ||
| 2640 | @var{file} and @var{file1} are the name of the file(s) whose event is | 2641 | @var{file} and @var{file1} are the name of the file(s) whose event is |