From: Ben Pfaff 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?a=commitdiff_plain;h=28dad4d002044ef3902e6ced88caa4de8079336b;p=pintos-anon 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