X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Ftour.texi;h=6882a93514a5724bc770cfa769b56b36e4197f38;hb=9890d47f4dba4ab2784a4ed5d424cddf697cfe18;hp=d1147dde6b0e91d891d5192cbf6bcc841781b920;hpb=5149cb74af4c5c9d7ab5da98cfabc4862eb6cc16;p=pintos-anon

diff --git a/doc/tour.texi b/doc/tour.texi
index d1147dd..6882a93 100644
--- a/doc/tour.texi
+++ b/doc/tour.texi
@@ -176,9 +176,9 @@ Interrupt-driven serial port I/O is also possible now, so we use
 @func{serial_init_queue} to switch to that mode.  Finally,
 @func{timer_calibrate} calibrates the timer for accurate short delays.
 
-If the filesystem is compiled in, as it will be in project 2 and
+If the file system is compiled in, as it will be in project 2 and
 later, we now initialize the disks with @func{disk_init}, then the
-filesystem with @func{filesys_init}, and run any operations that were
+file system with @func{filesys_init}, and run any operations that were
 requested on the kernel command line with @func{fsutil_run}.
 
 Boot is complete, so we print a message.