diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 8695be5912b..2f6c63f2c20 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -4598,7 +4598,7 @@ void board_led_off(int led);
 </p>
 <ul>
   <li><b>Interface Definition</b>.
-    The header file for the NuttX timer driver reside at <code>include/nuttx/timer.h</code>.
+    The header file for the NuttX timer driver reside at <code>include/nuttx/timers/timer.h</code>.
     This header file includes both the application level interface to the timer driver as well as the interface between the &quot;upper half&quot; and &quot;lower half&quot; drivers.
     The timer driver uses a standard character driver framework.
   </li>
@@ -4627,7 +4627,7 @@ void board_led_off(int led);
 </p>
 <ul>
   <li><b>Interface Definition</b>.
-    The header file for the NuttX RTC driver reside at <code>include/nuttx/rtc.h</code>.
+    The header file for the NuttX RTC driver reside at <code>include/nuttx/timers/rtc.h</code>.
     This header file includes both the application level interface to the RTC driver as well as the interface between the &quot;upper half&quot; and &quot;lower half&quot; drivers.
     The RTC driver uses a standard character driver framework.
   </li>
@@ -4656,7 +4656,7 @@ void board_led_off(int led);
 </p>
 <ul>
   <li><b>Interface Definition</b>.
-    The header file for the NuttX watchdog timer driver reside at <code>include/nuttx/watchdog.h</code>.
+    The header file for the NuttX watchdog timer driver reside at <code>include/nuttx/timers/watchdog.h</code>.
     This header file includes both the application level interface to the watchdog timer driver as well as the interface between the &quot;upper half&quot; and &quot;lower half&quot; drivers.
     The watchdog timer driver uses a standard character driver framework.
   </li>