X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;h=52fd1a0fa5c0c933fe9594e47044844744f1961f;hb=76d7f305a649ad998194b7b5184a07fa7544c360;hp=2fec1b47d43aeec9a21cdcc3e39809587ccc1322;hpb=bd5dc58a3416a998a24c26604f8ac76db8344610;p=pintos-anon

diff --git a/doc/doc.texi b/doc/doc.texi
index 2fec1b4..52fd1a0 100644
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -55,7 +55,7 @@ goodness.
 
 Things you @emph{don't} need: an explanation of the pre-existing
 Pintos code, an explanation of the project spec, justification for the
-project (e.g.@: we don't need you to explain to us why filesystems are
+project (e.g.@: we don't need you to explain to us why file systems are
 important to an operating system), a play-by-play of every change you
 made to the system, any other pontificating.  (You may laugh at some
 of the things listed above, but we've gotten all of them in the past.)