Installation.

diff --git a/doc/html/install-tinyos.html b/doc/html/install-tinyos.html
index d135a445e71ed7f4c344b513f1b26175c6d8150c..53a6a420c1ee3c004afb965713dc4246f075e874 100644 (file)
--- a/doc/html/install-tinyos.html
+++ b/doc/html/install-tinyos.html
@@ -30,16 +30,20 @@ following the <i>upgrade</i> instructions at
       provided by the Toilers group at the Colorado School of
       Mines.</p>
 
-      <h1>Installing on your host operating system</h1>
-<p>Currently, the TinyOS Core Working Group supports TinyOS on two platforms: Cygwin (Windows)
-and Linux. There have been some <A HREF="">successful efforts</A> to getting TinyOS environments working
-on Mac OSX, but OSX is not supported by the Core WG.</p>
+      <h1>Two-step install on your host OS with Debian packages</h1>
 
-<p>If you are running a version of Linux that supports Debian packages, then
+   <p>If you are running a version of Linux that supports Debian packages, then
    you may want to use the TinyOS package repository. There is a <A HREF="http://www.tinyos.net/scoop/story/2007/3/1/142950/4912">story on www.tinyos.net</A> 
    that describes how to use it. If you do this, then you do not have to
    install the instructions here, except that you will need to check
-   that your environment is set up correctly (the final step)</p>
+   that your environment is set up correctly (the end of step 5 in
+    the manual installation.</p>
+
+      <h1>Manual installation on your host OS with RPMs</h1>
+<p>Currently, the TinyOS Core Working Group supports TinyOS on two platforms: Cygwin (Windows)
+and Linux. There have been some <A HREF="">successful efforts</A> to getting TinyOS environments working
+on Mac OSX, but OSX is not supported by the Core WG.</p>
+
 
 <p>Installing a TinyOS enviromnent has five basic steps; Windows requires an extra step,
 installing Cygwin, which is a UNIX-like environment. The steps are:</p>