X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=7bdd7e51b0531ed545869034cf7b8566c0cdccc6;hb=9478d8784de300def64a0f12c379ae7c68937f3f;hp=e49a6c6f89af5c51436b7a9481f9a84ed3347ab6;hpb=b54621e208148e3570ad956469b494460da942f2;p=pintos-anon

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