X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=40ef81b3921c61f095b3aabba926f699915a12ff;hb=174d09b2e3be099d2cb47268b0885dc805917737;hp=e1eefab50bbad3ac2217f8a5cc870bf80448bea0;hpb=90823ae32d93d84129ea163c48cb59a6bfaaa82c;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index e1eefab..40ef81b 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -60,10 +60,11 @@ with this command:@footnote{The term @samp{`uname -m`} expands to either
 @file{sun4u} or @file{i686} according to the type of computer you're
 logged into.}
 @example
-set path = ( $path /usr/class/cs140/`uname -m`/bin )
+set path = ( /usr/class/cs140/`uname -m`/bin $path )
 @end example
 @noindent
-(Notice that both @samp{`} are left single quotes or ``backticks.'')
+@strong{Notice that both @samp{`} are left single quotes or
+``backticks,'' not apostrophes (@samp{'}).}
 It is a good idea to add this line to the @file{.cshrc} file
 in your home directory.  Otherwise, you'll have to type it every time
 you log in.