X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fdebug.texi;h=7e372ca0a248d7483aa7e6b5de5142b14161fbee;hb=db1421e7321efc7bb3aa3b232fbde94ce154dd23;hp=8867c2c4080f9b271311ad73899329860e49ae33;hpb=ceb10f0de9a40570bbfb702d50f19bdc2bf62171;p=pintos-anon

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