diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index fef9520a391..f5000359979 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -285,7 +285,7 @@
   <td><br></td>
   <td>
     <p>
-      <li>Realtime, deterministic.</li>
+      <li>Realtime, deterministic, with support for priority inheritance</li>
     </p>
 </tr>
 
@@ -1371,6 +1371,8 @@ nuttx-0.4.3 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 	* Restructured parts of the uIP port for correct compilation with ZDS-II
 	* eZ80Acclaim!: Complete basic integration of the eZ80F91 EMAC driver.  The
 	  driver is basically functional and should mature prior to the 0.4.3 release.
+	* Implemented priority inheritance logic for POSIX semaphores.  Because the pthread
+	  mutexes are built on semaphores, they will have this property as well.
 
 pascal-0.1.3 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index b47cd99dedb..4c3f3ff79d2 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: December 5, 2008</p>
+      <p>Last Updated: March 8, 2009</p>
     </td>
   </tr>
 </table>
@@ -1623,8 +1623,13 @@ The system can be re-made subsequently by just typing <code>make</code>.
     provides /dev/console.  Enables stdout, stderr, stdin.
   </li>
   <li>
-    <code>CONFIG_MUTEX_TYPES</code>: Set to enabled support for recursive and
+    <code>CONFIG_MUTEX_TYPES</code>: Set to enable support for recursive and
     errorcheck mutexes.  Enables <code>pthread_mutexattr_settype()</code>.
+  </li>
+  <li>
+    <code>CONFIG_PRIORITY_INHERITANCE </code>: Set to enable support for
+    priority inheritance on mutexes and semaphores.
+  </li>
 </ul>
 
 <p>
diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index 0dfa64a87bd..5869beedf99 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -13,7 +13,7 @@
       <h1><big><font color="#3c34ec"><i>NuttX Operating System<p>User's Manual</i></font></big></h1>
       <p><small>by</small></p>
       <p>Gregory Nutt<p>
-      <p>Last Updated: November 18, 2008</p>
+      <p>Last Updated: March 8, 2009</p>
     </td>
   </tr>
 </table>
@@ -1718,9 +1718,11 @@ interface of the same name.
 <p>
   Some operating systems avoid priority inversion by <I>automatically</I>
   increasing the priority of the low-priority <I>Task C</I> (the operable
-  buzz-word for this behavior is <I>priority inheritance</I>).  NuttX does not
-  support this behavior.  As a consequence, it is left to the designer to
-  provide implementations that will not suffer from priority inversion.
+  buzz-word for this behavior is <I>priority inheritance</I>).  NuttX
+  supports this behavior, but only if <code>CONFIG_PRIORITY_INHERITANCE</code>
+  is defined in your OS configuration file.  If <code>CONFIG_PRIORITY_INHERITANCE</code>
+  is not defined, then it is left to the designer to provide implementations
+  that will not suffer from priority inversion.
   The designer may, as examples:
 </p>
 <ul>