diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index bbe8fb6b518..67745451448 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1621,6 +1621,8 @@ nuttx-2010.1 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr>
 	  between uint32 (32-bits) and an mc68hc12 pointer (16-bits).
 	* sys/types:  Size of off_t and blkcnt_t should not depend on size of
 	  int in the architecture;  Removed non-standard type STATUS
+	* include/ - Added header files stdint.h, stdbool.h, cxx/cstdint, and
+	  cxx/cstdbool
 
 pascal-2010.1 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr>