projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5a63c2f
)
Make quoting consistent.
author
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 2 Jun 2006 22:13:31 +0000
(22:13 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 2 Jun 2006 22:13:31 +0000
(22:13 +0000)
doc/installation.texi
patch
|
blob
|
history
diff --git
a/doc/installation.texi
b/doc/installation.texi
index 3bab217515767b57ef4547c4593f0aba17dca8b5..5e35e8b2e0f82240715b09b39a37bec42633baf0 100644
(file)
--- a/
doc/installation.texi
+++ b/
doc/installation.texi
@@
-79,12
+79,12
@@
described below (@pxref{Building Bochs for Pintos}).
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
-@
command{pintos}, @command{pintos-gdb}, @command
{pintos-mkdisk} into the
+@
file{pintos}, @file{pintos-gdb}, @file
{pintos-mkdisk} into the
default @env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
default @env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
-text editor to edit the installed copy of @
command
{pintos-gdb}, changing
+text editor to edit the installed copy of @
file
{pintos-gdb}, changing
the definition of @env{GDBMACROS} to point to where you installed
@file{gdb-macros}. Test the installation by running
@command{pintos-gdb} without any arguments. If it does not complain
the definition of @env{GDBMACROS} to point to where you installed
@file{gdb-macros}. Test the installation by running
@command{pintos-gdb} without any arguments. If it does not complain