From e6237bd933978064816ecad90367f6d58b0ac97d Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 29 Sep 2004 16:01:40 +0000 Subject: [PATCH] Fix typos. --- doc/intro.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/intro.texi b/doc/intro.texi index 847eba4..e49a6c6 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -79,7 +79,7 @@ Now you can extract the source for Pintos into a directory named @example tar xzf /usr/class/cs140/pintos/pintos.tar.gz @end example -Alternatively +Alternatively, retrieve @uref{http://www.stanford.edu/class/cs140/pintos/pintos.tar.gz} and extract it in a similar way. @@ -210,7 +210,7 @@ are not very useful for our purposes. (If no window appeared at all, and you just got a terminal full of corrupt-looking text, then you're probably logged in remotely and X forwarding is not set up correctly. In this case, you can fix your X -setup, or you can use the @option{nv} option.) +setup, or you can use the @option{-v} option.) The text printed by Pintos inside Bochs probably went by too quickly to read. However, you've probably noticed by now that the same text -- 2.30.2