Updates.

diff --git a/doc/html/tutorial/lesson1.html b/doc/html/tutorial/lesson1.html
index 1de683d7868cf09aaa0ab14c3b8aeae52f217d8a..d461a6a6d63a3b85e534100481ff90a531cb679d 100644 (file)
--- a/doc/html/tutorial/lesson1.html
+++ b/doc/html/tutorial/lesson1.html
@@ -665,7 +665,7 @@ module BlinkC {
   uses interface Timer<TMilli> as Timer1;
   uses interface Timer<TMilli> 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 f2cca6db616a5ee4b53edc2a0233dd5655594333..2c9ff00b782b50c7315707ac3d0503df6dccfd40 100644 (file)
--- 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