X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=doc%2Ffilesys.texi;h=eb2ba766bf8ec675d36746cf0bb268c06374328b;hb=b8a1f89c3dcd584ebc1f91d9e1e8f42606d4df03;hp=2567d6ae38c39b4f3162d944ac101d96805e4960;hpb=8314933870928091525e6c5fa3c3dccc98f78f7e;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.