Include other cygwin RPMS.

diff --git a/doc/html/install-tinyos.html b/doc/html/install-tinyos.html
index d0b6dd53098bc17b6202adadb71e624c16eecdfb..6d9e6c99316c16470abb6fc43f941523d01ff52a 100644 (file)
--- a/doc/html/install-tinyos.html
+++ b/doc/html/install-tinyos.html
@@ -249,7 +249,7 @@ 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.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/windows/nesc-1.2.8b-1.cygwin.i386.rpm">nesc-1.2.8b-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>

diff --git a/doc/html/upgrade-tinyos.html b/doc/html/upgrade-tinyos.html
index dec0395372ba37f5b99e4bc500676692b8004f37..bc799923a3e3a8795cc1e354e7f976781a174a54 100644 (file)
--- a/doc/html/upgrade-tinyos.html
+++ b/doc/html/upgrade-tinyos.html
@@ -179,7 +179,7 @@ RPM (1.2.7a).
 <tr>
   <td>NesC</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/windows/nesc-1.2.8b-1.cygwin.i386.rpm">nesc-1.2.8b-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>