X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstallation.texi;h=f513a746134336fca132e91db2bd096163c8210e;hb=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;hp=bdcdfc3547426603602c26aab66705f92f487267;hpb=392931f3f604f0c8ceb7d97dba21c7fefa2a2187;p=pintos-anon

diff --git a/doc/installation.texi b/doc/installation.texi
index bdcdfc3..f513a74 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -40,8 +40,8 @@ Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
 3.80 or later.
 
 @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
+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
 slowness is frustrating.
 
 @item
@@ -65,7 +65,7 @@ Optional: @uref{http://www.tug.org/, @TeX{}}.  Also required to build
 the PDF version of the documentation.
 
 @item
-Optional: @uref{http://www.vmware.com/, VMware GSX Server}.  This is a
+Optional: @uref{http://www.vmware.com/, VMware Player}.  This is a
 third platform that can also be used to test Pintos.
 @end itemize
 
@@ -79,12 +79,12 @@ described below (@pxref{Building Bochs for Pintos}).
 
 @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
-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
@@ -93,6 +93,7 @@ about missing @file{gdb-macros}, it is installed correctly.
 @item
 Compile the remaining Pintos utilities by typing @command{make} in
 @file{src/utils}.  Install @file{squish-pty} somewhere in @env{PATH}.
+To support VMware Player, install @file{squish-unix}.
 If your Perl is older than version 5.8.0, also install
 @file{setitimer-helper}; otherwise, it is unneeded.