Minor wording improvement.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 17 Aug 2006 18:27:07 +0000 (18:27 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 17 Aug 2006 18:27:07 +0000 (18:27 +0000)
doc/filesys.texi

index 83900ce2fbf4f9e708aeff6fdca49cb9c997a2e8..744c0b28ee9bbc64e2b6ac552ece511243085e0d 100644 (file)
@@ -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