Adjust FAQ section naming for consistency.
[pintos-anon] / doc / filesys.texi
index 32a6e8885d139df9f0457753ce66c7dbf17dce49..e0c1618b49e46b74786b28d1476aa0521019a5a6 100644 (file)
@@ -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