From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 19 Jun 2005 05:48:04 +0000 (+0000)
Subject: Adjust FAQ section naming for consistency.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=28dad4d002044ef3902e6ced88caa4de8079336b

Adjust FAQ section naming for consistency.
---

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