X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=16d0fad0ed34b90dcd8881ba0f3df0e7ddf8857e;hb=4fd12f67689631009eb67b61828b70d2ce5cd294;hp=78b92a18dd68508e15ec3cc8486490fb38c8fb1f;hpb=969572cd5c1989470d39bfd4a694f19681512f2d;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 78b92a1..16d0fad 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -14,14 +14,14 @@ filesys submission.  If you build on project 3, then all of the project
 @file{filesys/Make.vars} to enable VM functionality.  You can receive up
 to 5% extra credit if you do enable VM.
 
-The tests for project 4 (and later projects) will probably run faster if
+The tests for project 4 will probably run faster if
 you use the qemu emulator, e.g.@: via @code{make check
 PINTOSOPTS='--qemu'}.
 
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::      
-* Project 4 FAQ::             
+* Project 4 FAQ::               
 @end menu
 
 @node Project 4 Background
@@ -375,7 +375,6 @@ of IDE disk hardware.
 
 @menu
 * Indexed Files FAQ::           
-* Subdirectories FAQ::          
 * Buffer Cache FAQ::            
 @end menu