X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=e0c1618b49e46b74786b28d1476aa0521019a5a6;hb=28dad4d002044ef3902e6ced88caa4de8079336b;hp=32a6e8885d139df9f0457753ce66c7dbf17dce49;hpb=2f1285c5ec8b5a74378f5684130c6b9b88e48b82;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 32a6e88..e0c1618 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -17,7 +17,7 @@ extra credit is available if you do build on project 3.
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::      
-* File System FAQ::             
+* Project 4 FAQ::             
 @end menu
 
 @node Project 4 Background
@@ -297,7 +297,7 @@ if B's data is all nonzero bytes, A is not allowed to see any zeros.
 Operations on different directories should take place concurrently.
 Operations on the same directory may wait for one another.
 
-@node File System FAQ
+@node Project 4 FAQ
 @section FAQ
 
 @table @b