X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;fp=doc%2Fintro.texi;h=27ee2cbd11c409d051fd1fbd27f380582825221a;hb=82281a670902d91868eb968db65a8c0dc9b4e502;hp=afa067d86a659ba7e828bd6664702a25925cc22f;hpb=9750868b9c1fc53f2ac25bd7fe0f6152cc55ff03;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index afa067d..27ee2cb 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}