X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstallation.texi;h=410b3336437b99f7e2f5e25b403c7ae4c225549f;hb=8b801a69f8e0c2c4ef7e32a2476786f80f433b8e;hp=0fc7b0673c7ab81ba06ce0ad823ff7b4585daecd;hpb=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;p=pintos-anon

diff --git a/doc/installation.texi b/doc/installation.texi
index 0fc7b06..410b333 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -41,7 +41,7 @@ Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
 
 @item
 Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
-0.8.0 or later.  If QEMU is not available, Bochs can be used, but its
+0.11.0 or later.  If QEMU is not available, Bochs can be used, but its
 slowness is frustrating.
 
 @item
@@ -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