projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add section heading for Debugging User Programs.
[pintos-anon]
/
doc
/
debug.texi
diff --git
a/doc/debug.texi
b/doc/debug.texi
index ce3e4bd0a35fb6ff38d70374c3cabfde1bab814e..ba53f70e0f4a5a2dce6d9d153558c0fc2624880c 100644
(file)
--- a/
doc/debug.texi
+++ b/
doc/debug.texi
@@
-314,7
+314,13
@@
a bug in the original Pintos code. The first and second
are quite likely, and you should seriously consider both. We hope
that the third is less likely, but it is also possible.
are quite likely, and you should seriously consider both. We hope
that the third is less likely, but it is also possible.
-@anchor{Debugging User Programs}
+@menu
+* Debugging User Programs::
+@end menu
+
+@node Debugging User Programs
+@subsection Debugging User Programs
+
You can also use @command{gdb} to debug a user program running under
Pintos. Start by issuing this @command{gdb} command to load the
program's symbol table:
You can also use @command{gdb} to debug a user program running under
Pintos. Start by issuing this @command{gdb} command to load the
program's symbol table: