Updated instructions

diff --git a/doc/html/install-tinyos.html b/doc/html/install-tinyos.html
index 6be2229aedb1f6b69e1331aab7a1053d57a72d29..d0b6dd53098bc17b6202adadb71e624c16eecdfb 100644 (file)
--- a/doc/html/install-tinyos.html
+++ b/doc/html/install-tinyos.html
@@ -248,9 +248,9 @@ add the <code>--ignoreos</code> option.
 
 <tr>
   <td>NesC</td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8-1.cygwin.i386.rpm">nesc-1.2.8-1.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8-1.cygwin.i386.rpm">nesc-1.2.8-1.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/linux/nesc-1.2.8-1.i386.rpm">nesc-1.2.8-1.i386.rpm </a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8a-1.cygwin.i386.rpm">nesc-1.2.8a-1.cygwin.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8a-1.cygwin.i386.rpm">nesc-1.2.8a-1.cygwin.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/linux/nesc-1.2.8a-1.i386.rpm">nesc-1.2.8a-1.i386.rpm </a></td>
   <td><a href=""></a><code>rpm -Uvh</code><br>
                      <code>rpm -Uvh --ignoreos</code> (if Cygwin complains)</td>
 </tr>

diff --git a/doc/html/upgrade-tinyos.html b/doc/html/upgrade-tinyos.html
index 5534361385c7bc37cf9c2663d193e13d5c6b2698..dec0395372ba37f5b99e4bc500676692b8004f37 100644 (file)
--- a/doc/html/upgrade-tinyos.html
+++ b/doc/html/upgrade-tinyos.html
@@ -178,9 +178,9 @@ RPM (1.2.7a).
 
 <tr>
   <td>NesC</td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8-1.cygwin.i386.rpm">nesc-1.2.7b-1.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8-1.cygwin.i386.rpm">nesc-1.2.7a-1.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/linux/nesc-1.2.8-1.i386.rpm">nesc-1.2.7a-1.i386.rpm </a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8a-1.cygwin.i386.rpm">nesc-1.2.8a-1.cygwin.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/windows/nesc-1.2.8a-1.cygwin.i386.rpm">nesc-1.2.8a-1.cygwin.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-1.2.0/tinyos/linux/nesc-1.2.8a-1.i386.rpm">nesc-1.2.8a-1.i386.rpm </a></td>
   <td><a href=""></a><code>rpm -Uvh</code><br><code>rpm -Uvh --ignoreos</code> (if Cygwin complains)</td>
 </tr>