From 82281a670902d91868eb968db65a8c0dc9b4e502 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 19 Jun 2006 21:52:52 +0000
Subject: [PATCH] Recommend zcat piping into tar x, instead of tar xzf, because
 some of the Leland machines don't have GNU tar and thus don't support "z".

---
 doc/intro.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}
-- 
2.30.2