X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=83900ce2fbf4f9e708aeff6fdca49cb9c997a2e8;hb=7641b4a058aedefcf6430000ec7742881f9e2a9f;hp=db4d94810b63426f91ee03c6783bd63b5c1060be;hpb=837e5b7fb902bd749106309ef76a5276c73ca34c;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index db4d948..83900ce 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -96,9 +96,9 @@ system.
 The grading scripts check the file system's correctness based on the
 contents of the file copied out in the second run.  This means that your
 project will not pass any of the extended file system tests until the
-file system is implemented well enough to support @program{tar}, the
+file system is implemented well enough to support @command{tar}, the
 Pintos user program that produces the file that is copied out.  The
-@program{tar} program is fairly demanding (it requires both extensible
+@command{tar} program is fairly demanding (it requires both extensible
 file and subdirectory support), so this will take some work.  Until
 then, you can ignore errors from @command{make check} regarding the
 extracted file system.