From: Ben Pfaff 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=8424d0f1568693f41715064cb45d8deb1fc2440b;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