X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=ab971487c31637acafc78ebc65583a5ea5abf7eb;hb=bd5dc58a3416a998a24c26604f8ac76db8344610;hp=36c21a39748c8e61be73094318b5991a7e74f293;hpb=611bee1ebeae7fcc3dcee305cbe3ecbb915916f0;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 36c21a3..ab97148 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -26,12 +26,13 @@ Your submission should define @code{THREAD_JOIN_IMPLEMENTED} in
 
 @menu
 * File System New Code::        
+* File System Synchronization::  
 * Problem 4-1 Large Files::     
 * Problem 4-2 File Growth::     
 * Problem 4-3 Subdirectories::  
 * Problem 4-4 Buffer Cache::    
 * File System Design Document Requirements::  
-* File System FAQ::            
+* File System FAQ::             
 @end menu
 
 @node File System New Code