X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;h=754f5bc09c41692ad38e4ed0a377afaa9e8195c4;hb=dcc3b1bc434d3c91e9a7d4728d120797b522b59d;hp=01abcdae553a49c6a42a347cfb064d17bf61ecbb;hpb=f698a29f16ec566911fb260fc23d2425a5cef21e;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index 01abcda..754f5bc 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -11,6 +11,7 @@ introduces you to a few of them.
 * Backtraces::                  
 * i386-elf-gdb::                
 * Modifying Bochs::             
+* Debugging Tips::              
 @end menu
 
 @node printf