X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=1a6a77cf4c62a369637f82c4ad169de38b3ce9d2;hb=385b3a90a2fb8df4c0c185672246356b4c8a18e3;hp=c0115c1515eb66ab4756bcb68e0a72fd67308570;hpb=049fb46b7129283a37826e5dac6d4d589e4b98d0;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index c0115c1..1a6a77c 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -875,9 +875,9 @@ argument passing is implemented correctly (@pxref{Program Startup Details}).
 The @command{objdump} (80@var{x}86) or @command{i386-elf-objdump}
 (SPARC) utility can disassemble entire user
 programs or object files.  Invoke it as @code{objdump -d
-@var{file}}.  You can use @code{gdb}'s
-@command{disassemble} command to disassemble individual functions
-(@pxref{gdb}).
+@var{file}}.  You can use GDB's
+@code{disassemble} command to disassemble individual functions
+(@pxref{GDB}).
 
 @item Why do many C include files not work in Pintos programs?