X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Ffilesys.texi;h=eb2ba766bf8ec675d36746cf0bb268c06374328b;hp=2567d6ae38c39b4f3162d944ac101d96805e4960;hb=59f738d500f51ffc5f487344865b8bed69c26281;hpb=0fd3a243b790dd1cfc9e0a40c57dddde56cf344d

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 2567d6a..eb2ba76 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -303,7 +303,7 @@ are straightforward once the above syscalls are implemented.
 We have also provided @command{pwd}, which is not so straightforward.
 The @command{shell} program implements @command{cd} internally.
 
-The @code{pintos} @option{put} and @option{get} commands should now
+The @code{pintos} @option{extract} and @option{append} commands should now
 accept full path names, assuming that the directories used in the
 paths have already been created.  This should not require any significant
 extra effort on your part.