From 2ebd4b4447103e759733611c4cb85a6b03afd38e Mon Sep 17 00:00:00 2001 From: scipio Date: Fri, 17 Aug 2007 16:03:35 +0000 Subject: [PATCH] Updated for tools-3. --- doc/html/install-tinyos.html | 8 ++++---- doc/html/upgrade-tinyos.html | 6 +++--- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/doc/html/install-tinyos.html b/doc/html/install-tinyos.html index 7fbf4573..df005d75 100644 --- a/doc/html/install-tinyos.html +++ b/doc/html/install-tinyos.html @@ -36,7 +36,7 @@ following the upgrade instructions at

Two-step install on your host OS with Debian packages

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 story on www.tinyos.net + you may want to use the TinyOS package repository. There is a story on www.tinyos.net 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. tinyos-tools tinyos-tools-1.2.4-2.cygwin.i386.rpm - tinyos-tools-1.2.4-2.i386.rpm - tinyos-tools-1.2.4-2.i686.rpm - rpm -ivh --force (1.x tree)
rpm -Uvh (no 1.x tree)
+ tinyos-tools-1.2.4-3.i386.rpm + tinyos-tools-1.2.4-3.i686.rpm + rpm -ivh --force (1.x tree)
rpm -Uvh (no 1.x tree)
diff --git a/doc/html/upgrade-tinyos.html b/doc/html/upgrade-tinyos.html index 7cdc5260..a6738b1a 100644 --- a/doc/html/upgrade-tinyos.html +++ b/doc/html/upgrade-tinyos.html @@ -201,9 +201,9 @@ option. tinyos-tools tinyos-tools-1.2.4-2.cygwin.i386.rpm - tinyos-tools-1.2.4-2.i386.rpm - tinyos-tools-1.2.4-2.i686.rpm - rpm -ivh --force (1.x tree)
rpm -Uvh (no 1.x tree)
+ tinyos-tools-1.2.4-3.i386.rpm + tinyos-tools-1.2.4-3.i686.rpm + rpm -ivh --force (1.x tree)
rpm -Uvh (no 1.x tree)
-- 2.39.2