Updated for tools-3.

diff --git a/doc/html/install-tinyos.html b/doc/html/install-tinyos.html
index 7fbf45732cb49d233933fc2423d9592792c9bc3c..df005d757509b21511e2ae5f16aab7d3a639bd64 100644 (file)
--- a/doc/html/install-tinyos.html
+++ b/doc/html/install-tinyos.html
@@ -36,7 +36,7 @@ following the <i>upgrade</i> instructions at
       <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
-   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> 
+   you may want to use the TinyOS package repository. There is a <A HREF="http://www.tinyos.net/scoop/story/2007/8/15/234856/990">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 end of step 5 in
@@ -319,9 +319,9 @@ the Java support may not work properly.
 <tr>
   <td>tinyos-tools</td>
   <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/windows/tinyos-tools-1.2.4-2.cygwin.i386.rpm">tinyos-tools-1.2.4-2.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-2.i386.rpm">tinyos-tools-1.2.4-2.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-2.i686.rpm">tinyos-tools-1.2.4-2.i686.rpm</a></td>
-  <td><a href=""></a><code>rpm -ivh --force</code>&nbsp;(1.x tree)<br/><code>rpm -Uvh</code>&nbsp;(no 1.x tree)<br/></td>
+  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-3.i386.rpm">tinyos-tools-1.2.4-3.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-3.i686.rpm">tinyos-tools-1.2.4-3.i686.rpm</a></td>
+  <td><a href=""></a><code>rpm -ivh --force</code>&nbsp;(1.x tree)<br><code>rpm -Uvh</code>&nbsp;(no 1.x tree)<br></td>
 </tr>
 
 </tbody></table>

diff --git a/doc/html/upgrade-tinyos.html b/doc/html/upgrade-tinyos.html
index 7cdc5260de63053b602092d9373898eac821a292..a6738b1aa83a24e6b1a68c1d6a9702c6944cdf4d 100644 (file)
--- a/doc/html/upgrade-tinyos.html
+++ b/doc/html/upgrade-tinyos.html
@@ -201,9 +201,9 @@ option.
 <tr>
   <td>tinyos-tools</td>
   <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/windows/tinyos-tools-1.2.4-2.cygwin.i386.rpm">tinyos-tools-1.2.4-2.cygwin.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-2.i386.rpm">tinyos-tools-1.2.4-2.i386.rpm</a></td>
-  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-2.i686.rpm">tinyos-tools-1.2.4-2.i686.rpm</a></td>
-  <td><a href=""></a><code>rpm -ivh --force</code>&nbsp;(1.x tree)<br/><code>rpm -Uvh</code>&nbsp;(no 1.x tree)<br/></td>
+  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-3.i386.rpm">tinyos-tools-1.2.4-3.i386.rpm</a></td>
+  <td><a href="http://www.tinyos.net/dist-2.0.0/tinyos/linux/tinyos-tools-1.2.4-3.i686.rpm">tinyos-tools-1.2.4-3.i686.rpm</a></td>
+  <td><a href=""></a><code>rpm -ivh --force</code>&nbsp;(1.x tree)<br><code>rpm -Uvh</code>&nbsp;(no 1.x tree)<br></td>
 </tr>
 
 </tbody></table>