Implement a proper block layer with partition support.

[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},
-@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