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