Point to installation instructions.

diff --git a/doc/intro.texi b/doc/intro.texi
index a74ce8297c91009dad4fa423531a7fee707f613c..47ba0569d3b0b7b5e16a2ed85f1f0c4b60cb3c07 100644 (file)
--- 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}