Minor wording improvement.

[pintos-anon] / doc / filesys.texi

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 83900ce2fbf4f9e708aeff6fdca49cb9c997a2e8..744c0b28ee9bbc64e2b6ac552ece511243085e0d 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -259,8 +259,8 @@ false if it represents an ordinary file.
 @end deftypefn
 
 @deftypefn {System Call} int inumber (int @var{fd})
-Returns the @dfn{inode number} of the inode associated with @var{fd}.
-Applicable to file descriptors for both files and directories.
+Returns the @dfn{inode number} of the inode associated with @var{fd},
+which may represent an ordinary file or a directory.
 
 An inode number persistently identifies a file or directory.  It is
 unique during the file's existence.  In Pintos, the sector number of the