Fix typos.

diff --git a/doc/filesys.texi b/doc/filesys.texi
index db4d94810b63426f91ee03c6783bd63b5c1060be..83900ce2fbf4f9e708aeff6fdca49cb9c997a2e8 100644 (file)
--- 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.

diff --git a/doc/intro.texi b/doc/intro.texi
index 6541cf1b903f5a46f141da68af72a7f68310da90..c4846908c14bbb9db5db6f10d5192d3d66ab8a3c 100644 (file)
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -358,7 +358,7 @@ specifying @option{VERBOSE=1} on the @command{make} command line, as in
 @code{make check VERBOSE=1}.  You can also provide arbitrary options to the
 @command{pintos} run by the tests with @option{PINTOSOPTS='@dots{}'},
 e.g.@: @code{make check PINTOSOPTS='-j 1'} to select a jitter value of 1
-(@pxref{Debugging Versus Testing}).
+(@pxref{Debugging versus Testing}).
 
 All of the tests and related files are in @file{pintos/src/tests}.
 Before we test your submission, we will replace the contents of that