X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=57327781f913b8cef75d1c7733e33240373c1d43;hb=51878ce2ad4922e38f3e3c84a2108e18ec9e5517;hp=afa067d86a659ba7e828bd6664702a25925cc22f;hpb=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index afa067d..5732778 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -82,7 +82,7 @@ you log in.
 Now you can extract the source for Pintos into a directory named
 @file{pintos/src}, by executing
 @example
-tar xzf /usr/class/cs140/pintos/pintos.tar.gz
+zcat /usr/class/cs140/pintos/pintos.tar.gz | tar x
 @end example
 Alternatively, fetch
 @uref{http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz}
@@ -385,7 +385,8 @@ We will judge your design based on the design document and the source
 code that you submit.  We will read your entire design document and much
 of your source code.  
 
-Don't forget that the design document is 50% of your project grade.  It
+Don't forget that design quality, including the design document, is 50%
+of your project grade.  It
 is better to spend one or two hours writing a good design document than
 it is to spend that time getting the last 5% of the points for tests and
 then trying to rush through writing the design document in the last 15