From: Ben Pfaff Date: Sat, 25 Jun 2005 03:25:31 +0000 (+0000) Subject: Emphasize backquotes. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7aa9532bf29109632fc0ee4a620fbe2cbb0f1d2c;p=pintos-anon Emphasize backquotes. Put class bin dir at beginning of path. --- 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.