projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Applied patch set 6 by Ben, derived from Anthony's megapatch, and minor
[pintos-anon]
/
doc
/
installation.texi
diff --git
a/doc/installation.texi
b/doc/installation.texi
index 0fc7b0673c7ab81ba06ce0ad823ff7b4585daecd..f6dfe44f428bd51e59bf6528e935191ca82c87b9 100644
(file)
--- a/
doc/installation.texi
+++ b/
doc/installation.texi
@@
-79,8
+79,9
@@
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},
-@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk} into the
-default @env{PATH}.
+@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk},
+@file{pintos-set-cmdline}, and @file{Pintos.pm} into the default
+@env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a