; * doc/lispref/os.texi (File Notifications): Minor copy-edits.

diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi
index 1d0723e00efd3ab16d413e7144ce3a217cd958f0..204055d9e78e4de46a680cfc1b58ac6d22f874b2 100644 (file)
--- a/doc/lispref/os.texi
+++ b/doc/lispref/os.texi
@@ -2625,7 +2625,8 @@ any one of the following symbols:
 @item deleted
 @var{file} was deleted
 @item changed
-@var{file} has changed
+@var{file}'s contents has changed; with @file{w32notify} library,
+reports attribute changes as well
 @item renamed
 @var{file} has been renamed to @var{file1}
 @item attribute-changed
@@ -2633,8 +2634,8 @@ a @var{file} attribute was changed
 @end table
 
 Note that the @file{w32notify} library does not report
-@code{attribute-changed} events.  Even in case a file attribute has
-changed, like permissions or modification time, this library reports a
+@code{attribute-changed} events.  When some file's attribute, like
+permissions or modification time, has changed, this library reports a
 @code{changed} event.
 
 @var{file} and @var{file1} are the name of the file(s) whose event is