Fix sentence that trailed off.

[pintos-anon] / doc / intro.texi

diff --git a/doc/intro.texi b/doc/intro.texi
index e49a6c6f89af5c51436b7a9481f9a84ed3347ab6..7bdd7e51b0531ed545869034cf7b8566c0cdccc6 100644 (file)
--- 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