From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 14 Oct 2004 00:10:23 +0000 (+0000)
Subject: Redo menu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=789e9a7bdeca646878b23dee41c0ec3297c2c03c

Redo menu.
---

diff --git a/doc/debug.texi b/doc/debug.texi
index 8867c2c..7e372ca 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -11,6 +11,7 @@ introduces you to a few of them.
 * UNUSED NO_RETURN NO_INLINE PRINTF_FORMAT::  
 * Backtraces::                  
 * i386-elf-gdb::                
+* Debugging by Infinite Loop::  
 * Modifying Bochs::             
 * Debugging Tips::              
 @end menu