Swapping HEAD and DEVEL branches

[tinyos-2.x.git] / doc / html / tutorial / lesson1.html

diff --git a/doc/html/tutorial/lesson1.html b/doc/html/tutorial/lesson1.html
index d0343687aed9e4da7d15ef86bec96699507adcb0..b4df69526421979689faa6aeddf6a4be3ad04813 100644 (file)
--- a/doc/html/tutorial/lesson1.html
+++ b/doc/html/tutorial/lesson1.html
@@ -47,7 +47,11 @@ $ tos-check-env
          useful.</p>
 
       <p>If your system says some command is not available, then
-         chances are you need to install the TinyOS tools (tos-*).
+         chances are you need to install the TinyOS tools (tos-*) RPM.
+         Please refer to your installation instructions. If you have
+         installed the RPM, then look in /usr/bin and /usr/local/bin
+         for tos-check-env. If you have downloaded from CVS rather than
+         used RPMs, then you need to compile and build the tools.
          Go to <code>tinyos-2.x/tools/tinyos</code> and type:</p>
 
 <pre>