removed undefined nodes

[pintos-anon] / doc / reference.texi

diff --git a/doc/reference.texi b/doc/reference.texi
index cd2719fdf315ea7f951a6ed99b181b840af9fd5d..ae61d6293215aad35d92f793a2e4f2261ae47f7e 100644 (file)
--- 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