X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Ffilesys.texi;h=744c0b28ee9bbc64e2b6ac552ece511243085e0d;hp=83900ce2fbf4f9e708aeff6fdca49cb9c997a2e8;hb=d115fdd6be51fae8bc292545fd303c0a882cf84e;hpb=1d5faa37e50168451e815ab2c40b215a62485b07

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 83900ce..744c0b2 100644
--- 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