X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=da5f1e2a7380c229daadac94801e5c5c70064cf0;hb=c574297b7acbcbf04d128113cf91dbbcc1730f9c;hp=d580a0d7fb6fb2d43c8a829d05578dd593399425;hpb=4b82f041ebf3300af81fc19cb62fd8915e26aa94;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index d580a0d..da5f1e2 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -193,7 +193,7 @@ demonstrate the performance improvement.
 Note that write-behind makes your filesystem more fragile in the face
 of crashes.  Therefore, you should implement some manner to
 periodically write all cached blocks to disk.  If you have
-@code{timer_sleep()} from the first project working, this is an
+@func{timer_sleep} from the first project working, this is an
 excellent application for it.
 
 Likewise, read-ahead is only really useful when done asynchronously.
@@ -372,7 +372,7 @@ End of directory
 Yes.  Implementing @file{.} and @file{..} is extra credit, though.
 
 @item
-@b{Should @code{remove()} also be able to remove directories?}
+@b{Should @func{remove} also be able to remove directories?}
 
 Yes.  The @code{remove} system call should handle removal of both
 regular files and directories.  You may assume that directories can
@@ -417,7 +417,7 @@ implementation of the buffer cache.  Basically, you can't store a
 to read a @code{struct inode}, you'll have to get it either from the
 buffer cache or from disk.
 
-If you look at @code{file_read_at()}, it uses the inode directly
+If you look at @func{file_read_at}, it uses the inode directly
 without having first read in that sector from wherever it was in the
 storage hierarchy.  You are no longer allowed to do this.  You will
 need to change @code{file_read_at} (and similar functions) so that it