From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 14 Dec 2004 18:09:07 +0000 (+0000)
Subject: Fix sentence that trailed off.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=9478d8784de300def64a0f12c379ae7c68937f3f

Fix sentence that trailed off.
---

diff --git a/doc/intro.texi b/doc/intro.texi
index e49a6c6..7bdd7e5 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -165,7 +165,7 @@ the kernel.  @xref{Adding c or h Files}, for more information.
 Object file for the entire kernel.  This is the result of linking
 object files compiled from each individual kernel source file into a
 single object file.  It contains debug information, so you can run
-@command{gdb} or 
+@command{gdb} or @command{backtrace} (@pxref{Backtraces}) on it.
 
 @item kernel.bin
 Memory image of the kernel.  These are the exact bytes loaded into