From b58a18f048e8fd36128312d656e102ff998146a3 Mon Sep 17 00:00:00 2001
From: scipio <scipio>
Date: Tue, 31 Jul 2007 07:15:44 +0000
Subject: [PATCH] Updates.

---
 doc/html/tutorial/lesson1.html | 2 +-
 doc/html/tutorial/lesson4.html | 9 ++++++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/doc/html/tutorial/lesson1.html b/doc/html/tutorial/lesson1.html
index 1de683d7..d461a6a6 100644
--- a/doc/html/tutorial/lesson1.html
+++ b/doc/html/tutorial/lesson1.html
@@ -665,7 +665,7 @@ module BlinkC {
   uses interface Timer&lt;TMilli&gt; as Timer1;
   uses interface Timer&lt;TMilli&gt; as Timer2;
   uses interface Leds;
-  users interface Boot;
+  uses interface Boot;
 }
 implementation
 {
diff --git a/doc/html/tutorial/lesson4.html b/doc/html/tutorial/lesson4.html
index f2cca6db..2c9ff00b 100644
--- a/doc/html/tutorial/lesson4.html
+++ b/doc/html/tutorial/lesson4.html
@@ -153,7 +153,14 @@ Sending packet 6
 TOSComm JNI support, this means the Java Native Interface (JNI) files that
 control the serial port haven't been correctly installed. Run the command
 <code>tos-install-jni</code> (on Linux, do this as the superuser). If this
-command does not exist, go to <code>tinyos-2.x/tools/tinyos/java</code>. If
+command does not exist, then you have either not installed the tinyos-tools
+RPM or it was installed incorrectly. The <tt>tos-</tt> commands are typically
+installed in /usr/bin. If you still cannot find the script, email <tt>tinyos-help</tt>.</p>
+
+<h3>Installing <tt>tos-install-jre</tt> from CVS sources</h3>
+<p>If you have not installed the tools RPM and are working directly from the 
+TinyOS CVS repository, you can manually install the tos-locate-jre script. 
+Go to <code>tinyos-2.x/tools/tinyos/java</code>. If
 the directory has a <code>Makefile</code> in it, type <code>make</code>
 and (again, on Linux, as superuser) <code>make
 install</code>.  If the directory does not have a <code>Makefile</code>, go
-- 
2.39.2