From e3f9693a7207e8a292058959c3fffa712caef776 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 2 Jun 2006 22:10:36 +0000 Subject: [PATCH] Point to installation instructions. --- doc/intro.texi | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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} -- 2.11.4.GIT