From: Ben Pfaff Date: Fri, 2 Jun 2006 22:10:36 +0000 (+0000) Subject: Point to installation instructions. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a63c2f04edb9e892275a9ef184878be19cf5ebd;p=pintos-anon Point to installation instructions. --- diff --git a/doc/intro.texi b/doc/intro.texi index a74ce82..47ba056 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -49,8 +49,9 @@ Stanford ITSS, as described on the @uref{http://www.stanford.edu/services/cluster/environs/sweet/, , ITSS webpage}. You may use the Solaris or Linux machines. We will test your code on these machines, and the instructions given here assume this -environment. However, Pintos and its supporting tools are portable -enough that it should build ``out of the box'' in other environments. +environment. We cannot provide support for installing and working on +Pintos on your own machine, but we provide instructions for doing so +nonetheless (@pxref{Installing Pintos}). Once you've logged into one of these machines, either locally or remotely, start out by adding our binaries directory to your @env{PATH}