Clarify summary section.

[pintos-anon] / doc / installation.texi

diff --git a/doc/installation.texi b/doc/installation.texi
index 3bab217515767b57ef4547c4593f0aba17dca8b5..c15c1253e7e235a3c2f4090ca2019ba2d017ed65 100644 (file)
--- 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
@@ -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
@@ -112,6 +112,13 @@ documentation, plus the design document templates and various hardware
 specifications referenced by the documentation.  Building the PDF
 version of the manual requires Texinfo and @TeX{} (see above).  You may
 install @file{WWW} wherever you find most useful.
+
+The @file{doc} directory is not included in the @file{.tar.gz}
+distributed for Pintos.  It is in the Pintos CVS tree available via
+@code{:pserver:anonymous@@footstool.stanford.edu:/var/lib/cvs}, in the
+@code{pintos} module.  The CVS tree is @emph{not} the authoritative
+source for Stanford course materials, which should be obtained from the
+course website.
 @end enumerate
 
 @menu