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

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.