From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 19 May 2006 03:17:28 +0000 (+0000)
Subject: Fix menu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c38170452f0c4e6d0647d11fff37f8e3fd248042;p=pintos-anon

Fix menu.
---

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 78b92a1..8ff62dd 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -21,7 +21,7 @@ PINTOSOPTS='--qemu'}.
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::      
-* Project 4 FAQ::             
+* Project 4 FAQ::               
 @end menu
 
 @node Project 4 Background
@@ -375,7 +375,6 @@ of IDE disk hardware.
 
 @menu
 * Indexed Files FAQ::           
-* Subdirectories FAQ::          
 * Buffer Cache FAQ::            
 @end menu