X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=1a6a77cf4c62a369637f82c4ad169de38b3ce9d2;hb=60a942524737a1053d8b980bfc4e403ea8ec0007;hp=c0115c1515eb66ab4756bcb68e0a72fd67308570;hpb=226eebd713f994f576c30ddb72a88181cbbc7d1d;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?