diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index aaf1597c6d1..011048d2a34 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -2705,33 +2705,35 @@ int up_timer_start(FAR const struct timespec *ts);
or kill() to communicate with NuttX tasks.
Function Prototype:
#include <nuttx/wdog.h>
WDOG_ID wd_create(void);
+ void wd_static(FAR struct wdog_s *wdog);
-Description: The wd_create function will create a watchdog
-by allocating the appropriate resources for the watchdog.
+Description: The wd_create() function will create a timer by allocating the appropriate resources for the watchdog. The wd_create() function returns a pointer to a fully initialized, dynamically allocated struct wdog_s instance (which is typedef'ed as WDOG_ID);
+
+wd_static() performs the equivalent initialization of a statically allocated struct wdog_s instance. No allocation is performed in this case. The initializer definition, WDOG_INITIALIZER is also available for initialization of static instances of struct wdog_s. NOTE: wd_static() is also implemented as a macro definition.
+
Input Parameters: None.
Returned Value:
@@ -2760,10 +2762,11 @@ initialization time).
-Description: The wd_delete function will deallocate a
-watchdog. The watchdog will be removed from the timer queue if
-has been started.
+Description: The wd_delete function will deallocate a watchdog timer previously allocated via wd_create(). The watchdog timer will be removed from the timer queue if has been started.
+
+This function need not be called for statically allocated timers (but it is not harmful to do so). +
Input Parameters:wdog. The watchdog ID to delete. This is actually a