X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Freference.texi;h=ae61d6293215aad35d92f793a2e4f2261ae47f7e;hb=a8109d27250429cb3385e9d1f740024c82f46025;hp=cd2719fdf315ea7f951a6ed99b181b840af9fd5d;hpb=8fff557107b6a3efec0000ce98904450c1de3648;p=pintos-anon

diff --git a/doc/reference.texi b/doc/reference.texi
index cd2719f..ae61d62 100644
--- a/doc/reference.texi
+++ b/doc/reference.texi
@@ -29,8 +29,7 @@ initialization.
 
 @menu
 * Pintos Loader::               
-* Low-Level Kernel Initialization::
-* High-Level Kernel Initialization::
+* Kernel Initialization::
 * Physical Memory Map::
 @end menu